Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Eqthy/
- flake8 Chris Pressey 1 year, 7 months ago
- Have terms module able to pass strict mypy checking. Chris Pressey 1 year, 7 months ago
- Make scanner pass strict mypy check. Chris Pressey 1 year, 7 months ago
- Begin adding some type annotations. Refactor Term type. Chris Pressey 1 year, 7 months ago
- Replace namedtuples with dataclasses. Chris Pressey 1 year, 7 months ago
- Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 1 year, 9 months ago
- Merge branch 'master' of https://codeberg.org/catseye/Eqthy Chris Pressey 1 year, 11 months ago
- Update links in "see-also bar". Chris Pressey 1 year, 11 months ago
- Merge pull request 'add second De Morgan's law' (#2) from pro465/Eqthy-fork:de-morgans into master cpressey 2 years ago
- add second De Morgan's law Proloy Mishra 2 years ago
- Merge pull request 'update description of proof of boolean algebra in list' (#1) from pro465/Eqthy-fork:pro465-patch-1 into master cpressey 2 years ago
- update description of proof of boolean algebra in list pro465 2 years ago
- Merge pull request #9 from pro465/de-morgans Chris Pressey (commit: GitHub) 2 years ago
- minor fixes Proloy Mishra (commit: GitHub) 2 years ago
- Place code under BSD license and examples in public domain. (#8) Chris Pressey (commit: GitHub) 2 years ago
- prove de morgan's rule Proloy Mishra 2 years ago
- Tiny final edits to TODO section. Chris Pressey 2 years ago
- Edits to the TODO section. Chris Pressey 2 years ago
- A last few edits before we release 0.3. Chris Pressey 2 years ago
- Merge branch 'master' into develop-0.3 Chris Pressey 2 years ago
- Merge pull request #7 from pro465/master Chris Pressey (commit: GitHub) 2 years ago
- remove extraneous theorems Proloy Mishra 2 years ago
- Bump version to 0.3 and add release notes thus far. Chris Pressey 2 years ago
- Fix the translation of modus ponens and give resulting proof. Chris Pressey 2 years ago
- Improve logging again. Chris Pressey 2 years ago
- Improve "typesetting" of this document. Chris Pressey 2 years ago
- Improve logging. Chris Pressey 2 years ago
- Add another (very basic) unit test. Chris Pressey 2 years ago
- Merge pull request #6 from pro465/patch-1 Chris Pressey (commit: GitHub) 2 years ago
- fix incorrect theorem Proloy Mishra 2 years ago