Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Eqthy/
- 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
- Fix test driver, using sh -e here is not what we want yet 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
- A slightly less trivial result in the theory of interior algebras. Chris Pressey 7 months ago
- Add document with axioms for Interior Algebra. Chris Pressey 7 months ago
- Fix link Chris Pressey 7 months ago
- Have all examples live in the same directory right now. Chris Pressey 7 months ago
- Update copyright year and run `reuse lint` as part of the test. Chris Pressey 7 months ago
- Update HISTORY file. 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
- Two proofs of properties of the set difference operator. Chris Pressey 7 months ago
- Raise a syntax error if axioms (or anything else) follow a theorem. Chris Pressey 7 months ago
- Add development of the algebra of sets. Chris Pressey 7 months ago
- Add proper "Group Element Commutes with Inverse" proof, and rename the other one. Chris Pressey 8 months ago
- I don't really know if this was a very old statistic, or a typo. Chris Pressey 8 months ago
- Small formatting updates and fixes. Chris Pressey 8 months ago
- Update HISTORY for recent changes going into 0.4. Chris Pressey 8 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
- Merge branch 'master' of https://codeberg.org/catseye/Eqthy Chris Pressey 1 year, 12 days ago
- Update links in "see-also bar". Chris Pressey 1 year, 12 days ago