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