History of
eg
@master
git clone https://git.catseye.tc/Eqthy/
-
These are theorems in the Boolean algebra document.
Chris Pressey
7 months ago
-
Factor Group Theory out into its own document.
Chris Pressey
7 months ago
-
Convert Algebra of Sets document to Absorption Laws proof.
Chris Pressey
7 months ago
-
Use Boolean algebra as basis for set difference, interior algebra.
Chris Pressey
7 months ago
-
Allow Eqthy documents in Markdown to include other Eqthy documents.
Chris Pressey
7 months ago
-
A slightly less trivial result in the theory of interior algebras.
Chris Pressey
7 months ago
-
Add document with axioms for Interior Algebra.
Chris Pressey
7 months ago
-
Fix link
Chris Pressey
7 months ago
-
Have all examples live in the same directory right now.
Chris Pressey
7 months ago
-
Show that context is accumulated from one document to the next.
Chris Pressey
7 months ago
-
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
7 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