Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Eqthy/
- Move towards being able to require files from other files. Chris Pressey a month ago
- Fix test driver, using sh -e here is not what we want yet Chris Pressey a month ago
- Move loading logic into loader module. Chris Pressey a month ago
- Replace --bare command line flag with --input-format choices. Chris Pressey a month ago
- A slightly less trivial result in the theory of interior algebras. Chris Pressey a month ago
- Add document with axioms for Interior Algebra. Chris Pressey a month ago
- Fix link Chris Pressey a month ago
- Have all examples live in the same directory right now. Chris Pressey a month ago
- Update copyright year and run `reuse lint` as part of the test. Chris Pressey a month ago
- Update HISTORY file. Chris Pressey a month ago
- Show that context is accumulated from one document to the next. Chris Pressey a month ago
- Add 'Context' type, minor edits elsewhere as well. Chris Pressey a month ago
- Two proofs of properties of the set difference operator. Chris Pressey a month ago
- Raise a syntax error if axioms (or anything else) follow a theorem. Chris Pressey a month ago
- Add development of the algebra of sets. Chris Pressey a month ago
- Add proper "Group Element Commutes with Inverse" proof, and rename the other one. Chris Pressey a month ago
- I don't really know if this was a very old statistic, or a typo. Chris Pressey a month ago
- Small formatting updates and fixes. Chris Pressey a month ago
- Update HISTORY for recent changes going into 0.4. Chris Pressey a month ago
- Bump version number. Chris Pressey a month ago
- All modules now pass strict mypy checking. Chris Pressey a month ago
- flake8 Chris Pressey a month ago
- Have terms module able to pass strict mypy checking. Chris Pressey a month ago
- Make scanner pass strict mypy check. Chris Pressey a month ago
- Begin adding some type annotations. Refactor Term type. Chris Pressey a month ago
- Replace namedtuples with dataclasses. Chris Pressey a month ago
- Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 2 months ago
- Merge branch 'master' of https://codeberg.org/catseye/Eqthy Chris Pressey 5 months ago
- Update links in "see-also bar". Chris Pressey 5 months ago
- Merge pull request 'add second De Morgan's law' (#2) from pro465/Eqthy-fork:de-morgans into master cpressey 5 months ago