Tree @dc711ad (Download .tar.gz)
Commit History
@dc711adb91dfae3a40f48a879732fab555523894
git clone https://git.catseye.tc/Eqthy/
- Add some lemmas regarding group inverses. Chris Pressey 2 years ago
- Add a couple of trivial lemmas. Chris Pressey 2 years ago
- Develop the boolean algebra lemmas more. Chris Pressey 2 years ago
- Axioms for boolean algebra, and some lemmas therein. Chris Pressey 2 years ago
- Add TODO notes. Chris Pressey 2 years ago
- Link the developments together. Chris Pressey 2 years ago
- Fix (by substituting early) and finish the proof. Chris Pressey 2 years ago
- Checkpoint this proof in progress. Chris Pressey 2 years ago
- Use `with` to eliminate proliferation of axioms. Chris Pressey 2 years ago
- Allow rules to be instantiated with altered variable names. Chris Pressey 2 years ago
- Show step number in some error messages. Chris Pressey 2 years ago
- Refactor into `objects` module, and small flake8 cleanups. Chris Pressey 2 years ago
- Fix #th-comm axiom, remove now-unneeded #MP-rev axiom. Chris Pressey 2 years ago
- Remove redundant logging. Chris Pressey 2 years ago
- Factor out common code into `register` method. Chris Pressey 2 years ago
- Bump version number. Chris Pressey 2 years ago
- Update README.md Chris Pressey (commit: GitHub) 2 years ago
- Merge pull request #1 from catseye/develop-0.1 Chris Pressey (commit: GitHub) 2 years ago
- Finish the Propositional Algebra proof! Such yay, much rejoicing Chris Pressey 2 years ago
- Modus ponens! After fixing a silly error in an axiom definition. Chris Pressey 2 years ago
- Checkpoint propositional algebra proof (take different tack on MP.) Chris Pressey 2 years ago
- Checkpoint working out the propositional algebra proof. Chris Pressey 2 years ago
- Add the hints given in the book. Chris Pressey 2 years ago
- Pick a proof for this and start working it out. Chris Pressey 2 years ago
- Rename example file again, to get it right this time. Chris Pressey 2 years ago
- Tidy up some of the example proofs a bit. Chris Pressey 2 years ago
- Rename example proof which is actually embedded in Markdown. Chris Pressey 2 years ago
- Mention embedding in Markdown in README. Chris Pressey 2 years ago
- Embed Eqthy documents in Markdown documents. Chris Pressey 2 years ago
- Parse and verify one file at a time. Expand test driver. Chris Pressey 2 years ago