-
Raise a syntax error if axioms (or anything else) follow a theorem.
Chris Pressey
1 year, 1 month ago
-
Add development of the algebra of sets.
Chris Pressey
1 year, 1 month ago
-
Add proper "Group Element Commutes with Inverse" proof, and rename the other one.
Chris Pressey
1 year, 2 months ago
-
I don't really know if this was a very old statistic, or a typo.
Chris Pressey
1 year, 2 months ago
-
Small formatting updates and fixes.
Chris Pressey
1 year, 2 months ago
-
Update HISTORY for recent changes going into 0.4.
Chris Pressey
1 year, 2 months ago
-
Bump version number.
Chris Pressey
1 year, 2 months ago
-
All modules now pass strict mypy checking.
Chris Pressey
1 year, 2 months ago
-
flake8
Chris Pressey
1 year, 2 months ago
-
Have terms module able to pass strict mypy checking.
Chris Pressey
1 year, 2 months ago
-
Make scanner pass strict mypy check.
Chris Pressey
1 year, 2 months ago
-
Begin adding some type annotations. Refactor Term type.
Chris Pressey
1 year, 2 months ago
-
Replace namedtuples with dataclasses.
Chris Pressey
1 year, 2 months ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
1 year, 3 months ago
-
Merge branch 'master' of https://codeberg.org/catseye/Eqthy
Chris Pressey
1 year, 6 months ago
-
Update links in "see-also bar".
Chris Pressey
1 year, 6 months ago
-
Merge pull request 'add second De Morgan's law' (#2) from pro465/Eqthy-fork:de-morgans into master
cpressey
1 year, 6 months ago
-
add second De Morgan's law
Proloy Mishra
1 year, 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
1 year, 6 months ago
-
update description of proof of boolean algebra in list
pro465
1 year, 6 months ago
-
Merge pull request #9 from pro465/de-morgans
Chris Pressey
(commit: GitHub)
1 year, 6 months ago
-
minor fixes
Proloy Mishra
(commit: GitHub)
1 year, 6 months ago
-
Place code under BSD license and examples in public domain. (#8)
Chris Pressey
(commit: GitHub)
1 year, 7 months ago
-
prove de morgan's rule
Proloy Mishra
1 year, 7 months ago
-
Tiny final edits to TODO section.
Chris Pressey
1 year, 8 months ago
-
Edits to the TODO section.
Chris Pressey
1 year, 8 months ago
-
A last few edits before we release 0.3.
Chris Pressey
1 year, 8 months ago
-
Merge branch 'master' into develop-0.3
Chris Pressey
1 year, 8 months ago
-
Merge pull request #7 from pro465/master
Chris Pressey
(commit: GitHub)
1 year, 8 months ago
-
remove extraneous theorems
Proloy Mishra
1 year, 9 months ago