Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Eqthy/
- 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
- Fix reported version number. Chris Pressey 2 years ago
- Start branch for release of version 0.1, when it comes. Chris Pressey 2 years ago
- Small edits to README. Chris Pressey 2 years ago
- Add "Design Principles" section to README. Chris Pressey 2 years ago
- Add document describing equational logic itself. Chris Pressey 2 years ago
- Some edits to README. Chris Pressey (commit: GitHub) 2 years 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