Commit History
@master
git clone https://git.catseye.tc/Eqthy/
-
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
-
Mention embedding in Markdown in README.
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
-
Fix reported version number.
Chris Pressey
1 year, 10 months ago
-
Start branch for release of version 0.1, when it comes.
Chris Pressey
1 year, 11 months ago
-
Small edits to README.
Chris Pressey
1 year, 11 months ago
-
Add "Design Principles" section to README.
Chris Pressey
1 year, 11 months ago
-
Add document describing equational logic itself.
Chris Pressey
1 year, 11 months ago
-
Some edits to README.
Chris Pressey
(commit: GitHub)
1 year, 11 months ago
-
Add an example file which might work for propositional algebra.
Chris Pressey
2 years ago
-
Add test cases. Previous theorems can be used as justifications.
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
-
Demonstrate multiple theorems in a single document.
Chris Pressey
2 years ago
-
Use consistent terminology.
Chris Pressey
2 years ago
-
Refactor general-purpose rule-level method out of verifier.
Chris Pressey
2 years ago
-
Implement narrowing down of search.
Chris Pressey
2 years ago
-
Document the Syntax for Comments. Improve README.
Chris Pressey
2 years ago
-
Change how rules are stored. Add narrow_rule_search method.
Chris Pressey
2 years ago
-
Try to deal properly with Reference hints. Hit a wall.
Chris Pressey
2 years ago
-
Refactor documentation.
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
-
Failing test cases for giving the wrong hints.
Chris Pressey
2 years ago
-
Huzzah!
Chris Pressey
2 years ago
-
Checkpoint again. Nearly there!
Chris Pressey
2 years ago