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