Tree @master (Download .tar.gz)
History of
src
@master
git clone https://git.catseye.tc/Eqthy/
- 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
- Place code under BSD license and examples in public domain. (#8) Chris Pressey (commit: GitHub) 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
- Bump version number. Chris Pressey 3 years ago
- Checkpoint working out the propositional algebra proof. Chris Pressey 3 years ago
- Embed Eqthy documents in Markdown documents. Chris Pressey 3 years ago
- Parse and verify one file at a time. Expand test driver. Chris Pressey 3 years ago
- Fix reported version number. Chris Pressey 3 years ago
- Start branch for release of version 0.1, when it comes. Chris Pressey 3 years ago
- Demonstrate multiple theorems in a single document. Chris Pressey 3 years ago
- Use consistent terminology. Chris Pressey 3 years ago
- Refactor general-purpose rule-level method out of verifier. Chris Pressey 3 years ago