History of
doc
@master
git clone https://git.catseye.tc/Eqthy/
- On the command line, call the input format `bare-eqthy`. Chris Pressey 9 months ago
- Move loading logic into loader module. Chris Pressey 9 months ago
- Replace --bare command line flag with --input-format choices. Chris Pressey 9 months ago
- Update copyright year and run `reuse lint` as part of the test. Chris Pressey 9 months ago
- Raise a syntax error if axioms (or anything else) follow a theorem. Chris Pressey 9 months ago
- Bump version number. Chris Pressey 9 months ago
- Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 10 months ago
- Add another (very basic) unit test. Chris Pressey 1 year, 4 months ago
- Add Falderal test for variable renaming. Chris Pressey 1 year, 8 months ago
- Show step number in some error messages. Chris Pressey 1 year, 9 months ago
- Embed Eqthy documents in Markdown documents. Chris Pressey 1 year, 11 months ago
- Parse and verify one file at a time. Expand test driver. Chris Pressey 1 year, 11 months 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