History of
eg
@master
git clone https://git.catseye.tc/Eqthy/
-
Finish the Propositional Algebra proof! Such yay, much rejoicing
Chris Pressey
1 year, 9 months ago
-
Modus ponens! After fixing a silly error in an axiom definition.
Chris Pressey
1 year, 9 months ago
-
Checkpoint propositional algebra proof (take different tack on MP.)
Chris Pressey
1 year, 9 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
-
Rename example file again, to get it right this time.
Chris Pressey
1 year, 10 months ago
-
Tidy up some of the example proofs a bit.
Chris Pressey
1 year, 10 months ago
-
Rename example proof which is actually embedded in Markdown.
Chris Pressey
1 year, 10 months ago
-
Embed Eqthy documents in Markdown documents.
Chris Pressey
1 year, 10 months ago
-
Parse and verify one file at a time. Expand test driver.
Chris Pressey
1 year, 10 months ago
-
Add an example file which might work for propositional algebra.
Chris Pressey
2 years ago
-
Check the known-valid example documents as part of test script.
Chris Pressey
2 years ago
-
Organize example documents better.
Chris Pressey
2 years ago
-
Add missing logging. Fix associative moves in proof.
Chris Pressey
2 years ago
-
Add a proof that should work, but doesn't.
Chris Pressey
2 years ago
-
Refactor, check for Reflexivity, 3 more tests pass.
Chris Pressey
2 years ago
-
Huzzah!
Chris Pressey
2 years ago
-
Checkpoint again. Nearly there!
Chris Pressey
2 years ago
-
Keep checkpointing. Tsk at the added axioms. Must address that.
Chris Pressey
2 years ago
-
Checkpoint converting proof.
Chris Pressey
2 years ago
-
Checkpoint fixing subst to support checking Socks and Shoes
Chris Pressey
2 years ago
-
Begin translating Socks and Shoes proof. Add TODO list.
Chris Pressey
2 years ago
-
First steps towards handling the derivation-driving hints.
Chris Pressey
2 years ago
-
Add example with hints.
Chris Pressey
2 years ago
-
Add beginnings of verifier module.
Chris Pressey
2 years ago
-
Fix bug in parser, and make example source parseable.
Chris Pressey
2 years ago
-
Initial import of files for Eqthy -- work in progress.
Chris Pressey
2 years ago