Commit History
@master
git clone https://git.catseye.tc/Eqthy/
-
Add HISTORY.md file.
Chris Pressey
1 year, 7 months ago
-
Add Falderal test for variable renaming.
Chris Pressey
1 year, 7 months ago
-
Update README.
Chris Pressey
1 year, 7 months ago
-
Add an example proof in a Combinatory Logic.
Chris Pressey
1 year, 7 months ago
-
Rewrite some of the prose here to match what I've learned so far.
Chris Pressey
1 year, 7 months ago
-
Another maybe-useful preliminary. Beginning to have my doubts tho.
Chris Pressey
1 year, 8 months ago
-
Add some lemmas regarding group inverses.
Chris Pressey
1 year, 8 months ago
-
Add a couple of trivial lemmas.
Chris Pressey
1 year, 8 months ago
-
Develop the boolean algebra lemmas more.
Chris Pressey
1 year, 8 months ago
-
Axioms for boolean algebra, and some lemmas therein.
Chris Pressey
1 year, 8 months ago
-
Add TODO notes.
Chris Pressey
1 year, 8 months ago
-
Link the developments together.
Chris Pressey
1 year, 8 months ago
-
Fix (by substituting early) and finish the proof.
Chris Pressey
1 year, 8 months ago
-
Checkpoint this proof in progress.
Chris Pressey
1 year, 8 months ago
-
Use `with` to eliminate proliferation of axioms.
Chris Pressey
1 year, 8 months ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
1 year, 8 months ago
-
Show step number in some error messages.
Chris Pressey
1 year, 8 months ago
-
Refactor into `objects` module, and small flake8 cleanups.
Chris Pressey
1 year, 8 months ago
-
Fix #th-comm axiom, remove now-unneeded #MP-rev axiom.
Chris Pressey
1 year, 8 months ago
-
Remove redundant logging.
Chris Pressey
1 year, 8 months ago
-
Factor out common code into `register` method.
Chris Pressey
1 year, 8 months ago
-
Bump version number.
Chris Pressey
1 year, 8 months ago
-
Update README.md
Chris Pressey
(commit: GitHub)
1 year, 8 months ago
-
Merge pull request #1 from catseye/develop-0.1
Chris Pressey
(commit: GitHub)
1 year, 10 months ago
-
Finish the Propositional Algebra proof! Such yay, much rejoicing
Chris Pressey
1 year, 10 months ago
-
Modus ponens! After fixing a silly error in an axiom definition.
Chris Pressey
1 year, 10 months ago
-
Checkpoint propositional algebra proof (take different tack on MP.)
Chris Pressey
1 year, 10 months ago
-
Checkpoint working out the propositional algebra proof.
Chris Pressey
1 year, 10 months ago
-
Add the hints given in the book.
Chris Pressey
1 year, 10 months ago
-
Pick a proof for this and start working it out.
Chris Pressey
1 year, 10 months ago