Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Eqthy/
- add second De Morgan's law Proloy Mishra 6 months ago
- Merge pull request 'update description of proof of boolean algebra in list' (#1) from pro465/Eqthy-fork:pro465-patch-1 into master cpressey 6 months ago
- update description of proof of boolean algebra in list pro465 6 months ago
- Merge pull request #9 from pro465/de-morgans Chris Pressey (commit: GitHub) 6 months ago
- minor fixes Proloy Mishra (commit: GitHub) 6 months ago
- Place code under BSD license and examples in public domain. (#8) Chris Pressey (commit: GitHub) 6 months ago
- prove de morgan's rule Proloy Mishra 6 months ago
- Tiny final edits to TODO section. Chris Pressey 7 months ago
- Edits to the TODO section. Chris Pressey 7 months ago
- A last few edits before we release 0.3. Chris Pressey 7 months ago
- Merge branch 'master' into develop-0.3 Chris Pressey 7 months ago
- Merge pull request #7 from pro465/master Chris Pressey (commit: GitHub) 7 months ago
- remove extraneous theorems Proloy Mishra 8 months ago
- Bump version to 0.3 and add release notes thus far. Chris Pressey 8 months ago
- Fix the translation of modus ponens and give resulting proof. Chris Pressey 8 months ago
- Improve logging again. Chris Pressey 8 months ago
- Improve "typesetting" of this document. Chris Pressey 8 months ago
- Improve logging. Chris Pressey 8 months ago
- Add another (very basic) unit test. Chris Pressey 8 months ago
- Merge pull request #6 from pro465/patch-1 Chris Pressey (commit: GitHub) 8 months ago
- fix incorrect theorem Proloy Mishra 8 months ago
- Merge branch 'patch-1' of https://github.com/pro465/Eqthy into patch-1 Proloy Mishra 9 months ago
- add test for constant and function name uniqueness Proloy Mishra 9 months ago
- Merge branch 'catseye:master' into patch-1 Proloy Mishra (commit: GitHub) 9 months ago
- fix #5 Proloy Mishra (commit: Proloy Mishra) 9 months ago
- Merge pull request #3 from pro465/patch-1 Chris Pressey (commit: GitHub) 9 months ago
- fix link in README.md Proloy Mishra (commit: GitHub) 9 months ago
- Merge pull request #2 from catseye/develop-0.2 Chris Pressey (commit: GitHub) 1 year, 1 month ago
- Fix typo. Chris Pressey 1 year, 1 month ago
- Add HISTORY.md file. Chris Pressey 1 year, 1 month ago