History of
src
/
eqthy
@master
git clone https://git.catseye.tc/Eqthy/
-
Show that context is accumulated from one document to the next.
Chris Pressey
1 year, 9 days ago
-
Add 'Context' type, minor edits elsewhere as well.
Chris Pressey
1 year, 9 days ago
-
Raise a syntax error if axioms (or anything else) follow a theorem.
Chris Pressey
1 year, 9 days ago
-
Bump version number.
Chris Pressey
1 year, 16 days ago
-
All modules now pass strict mypy checking.
Chris Pressey
1 year, 18 days ago
-
flake8
Chris Pressey
1 year, 18 days ago
-
Have terms module able to pass strict mypy checking.
Chris Pressey
1 year, 18 days ago
-
Make scanner pass strict mypy check.
Chris Pressey
1 year, 18 days ago
-
Begin adding some type annotations. Refactor Term type.
Chris Pressey
1 year, 18 days ago
-
Replace namedtuples with dataclasses.
Chris Pressey
1 year, 18 days ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
1 year, 1 month ago
-
Bump version to 0.3 and add release notes thus far.
Chris Pressey
1 year, 7 months ago
-
Improve logging again.
Chris Pressey
1 year, 7 months ago
-
Improve logging.
Chris Pressey
1 year, 7 months ago
-
fix #5
Proloy Mishra
(commit: Proloy Mishra)
1 year, 7 months ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
2 years ago
-
Show step number in some error messages.
Chris Pressey
2 years ago
-
Refactor into `objects` module, and small flake8 cleanups.
Chris Pressey
2 years ago
-
Remove redundant logging.
Chris Pressey
2 years ago
-
Factor out common code into `register` method.
Chris Pressey
2 years ago
-
Bump version number.
Chris Pressey
2 years ago
-
Checkpoint working out the propositional algebra proof.
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
-
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