History of
src
/
eqthy
@master
git clone https://git.catseye.tc/Eqthy/
-
On the command line, call the input format `bare-eqthy`.
Chris Pressey
7 months ago
-
Allow Eqthy documents in Markdown to include other Eqthy documents.
Chris Pressey
7 months ago
-
Use one Verifier object, have it keep the context.
Chris Pressey
7 months ago
-
Move towards being able to require files from other files.
Chris Pressey
7 months ago
-
Move loading logic into loader module.
Chris Pressey
7 months ago
-
Replace --bare command line flag with --input-format choices.
Chris Pressey
7 months ago
-
Update copyright year and run `reuse lint` as part of the test.
Chris Pressey
7 months ago
-
Show that context is accumulated from one document to the next.
Chris Pressey
7 months ago
-
Add 'Context' type, minor edits elsewhere as well.
Chris Pressey
7 months ago
-
Raise a syntax error if axioms (or anything else) follow a theorem.
Chris Pressey
7 months ago
-
Bump version number.
Chris Pressey
8 months ago
-
All modules now pass strict mypy checking.
Chris Pressey
8 months ago
-
flake8
Chris Pressey
8 months ago
-
Have terms module able to pass strict mypy checking.
Chris Pressey
8 months ago
-
Make scanner pass strict mypy check.
Chris Pressey
8 months ago
-
Begin adding some type annotations. Refactor Term type.
Chris Pressey
8 months ago
-
Replace namedtuples with dataclasses.
Chris Pressey
8 months ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
9 months ago
-
Bump version to 0.3 and add release notes thus far.
Chris Pressey
1 year, 3 months ago
-
Improve logging again.
Chris Pressey
1 year, 3 months ago
-
Improve logging.
Chris Pressey
1 year, 3 months ago
-
fix #5
Proloy Mishra
(commit: Proloy Mishra)
1 year, 3 months ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
1 year, 8 months ago
-
Show step number in some error messages.
Chris Pressey
1 year, 8 months ago
-
Refactor into `objects` module, and small flake8 cleanups.
Chris Pressey
1 year, 8 months ago
-
Remove redundant logging.
Chris Pressey
1 year, 8 months ago
-
Factor out common code into `register` method.
Chris Pressey
1 year, 8 months ago
-
Bump version number.
Chris Pressey
1 year, 8 months ago
-
Checkpoint working out the propositional algebra proof.
Chris Pressey
1 year, 10 months ago
-
Embed Eqthy documents in Markdown documents.
Chris Pressey
1 year, 10 months ago