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
a month ago
-
Side specs "on LHS", "on RHS" in hints are correctly handled.
Chris Pressey
a month ago
-
On the command line, call the input format `bare-eqthy`.
Chris Pressey
11 months ago
-
Move loading logic into loader module.
Chris Pressey
1 year, 3 days ago
-
Replace --bare command line flag with --input-format choices.
Chris Pressey
1 year, 3 days ago
-
Update copyright year and run `reuse lint` as part of the test.
Chris Pressey
1 year, 3 days ago
-
Raise a syntax error if axioms (or anything else) follow a theorem.
Chris Pressey
1 year, 4 days ago
-
Bump version number.
Chris Pressey
1 year, 11 days ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
1 year, 1 month ago
-
Add another (very basic) unit test.
Chris Pressey
1 year, 7 months ago
-
Add Falderal test for variable renaming.
Chris Pressey
1 year, 11 months ago
-
Show step number in some error messages.
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
-
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