History of
eg
@master
git clone https://git.catseye.tc/Eqthy/
-
Add 'Context' type, minor edits elsewhere as well.
Chris Pressey
7 months ago
-
Two proofs of properties of the set difference operator.
Chris Pressey
7 months ago
-
Add development of the algebra of sets.
Chris Pressey
8 months ago
-
Add proper "Group Element Commutes with Inverse" proof, and rename the other one.
Chris Pressey
8 months ago
-
Small formatting updates and fixes.
Chris Pressey
8 months ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
9 months ago
-
add second De Morgan's law
Proloy Mishra
1 year, 23 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
-
A last few edits before we release 0.3.
Chris Pressey
1 year, 2 months ago
-
remove extraneous theorems
Proloy Mishra
1 year, 3 months ago
-
Fix the translation of modus ponens and give resulting proof.
Chris Pressey
1 year, 3 months ago
-
Improve "typesetting" of this document.
Chris Pressey
1 year, 3 months ago
-
fix incorrect theorem
Proloy Mishra
1 year, 3 months ago
-
add test for constant and function name uniqueness
Proloy Mishra
1 year, 3 months ago
-
Add an example proof in a Combinatory Logic.
Chris Pressey
1 year, 7 months ago
-
Rewrite some of the prose here to match what I've learned so far.
Chris Pressey
1 year, 7 months ago
-
Another maybe-useful preliminary. Beginning to have my doubts tho.
Chris Pressey
1 year, 7 months ago
-
Add some lemmas regarding group inverses.
Chris Pressey
1 year, 7 months ago
-
Add a couple of trivial lemmas.
Chris Pressey
1 year, 7 months ago
-
Develop the boolean algebra lemmas more.
Chris Pressey
1 year, 7 months ago
-
Axioms for boolean algebra, and some lemmas therein.
Chris Pressey
1 year, 7 months ago
-
Link the developments together.
Chris Pressey
1 year, 8 months ago
-
Fix (by substituting early) and finish the proof.
Chris Pressey
1 year, 8 months ago
-
Checkpoint this proof in progress.
Chris Pressey
1 year, 8 months ago
-
Use `with` to eliminate proliferation of axioms.
Chris Pressey
1 year, 8 months ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
1 year, 8 months ago
-
Fix #th-comm axiom, remove now-unneeded #MP-rev axiom.
Chris Pressey
1 year, 8 months ago