History of
doc
@master
git clone https://git.catseye.tc/Eqthy/
- Add failing tests for re-using a name for a theorem or axiom. Chris Pressey 17 days ago
- Side specs "on LHS", "on RHS" in hints are correctly handled. Chris Pressey 17 days ago
- On the command line, call the input format `bare-eqthy`. Chris Pressey 10 months ago
- Move loading logic into loader module. Chris Pressey 10 months ago
- Replace --bare command line flag with --input-format choices. Chris Pressey 11 months ago
- Update copyright year and run `reuse lint` as part of the test. Chris Pressey 11 months ago
- Raise a syntax error if axioms (or anything else) follow a theorem. Chris Pressey 11 months ago
- Bump version number. Chris Pressey 11 months ago
- Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 1 year, 22 days ago
- Add another (very basic) unit test. Chris Pressey 1 year, 6 months ago
- Add Falderal test for variable renaming. Chris Pressey 1 year, 10 months ago
- Show step number in some error messages. Chris Pressey 1 year, 11 months 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
- Add document describing equational logic itself. 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
- Demonstrate multiple theorems in a single document. 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