History of eg @master git clone https://git.catseye.tc/Eqthy/

• Fix link Chris Pressey 1 year, 6 days ago
• Have all examples live in the same directory right now. Chris Pressey 1 year, 6 days ago
• Show that context is accumulated from one document to the next. Chris Pressey 1 year, 6 days ago
• Add 'Context' type, minor edits elsewhere as well. Chris Pressey 1 year, 6 days ago
• Two proofs of properties of the set difference operator. Chris Pressey 1 year, 7 days ago
• Add development of the algebra of sets. Chris Pressey 1 year, 7 days ago
• Add proper "Group Element Commutes with Inverse" proof, and rename the other one. Chris Pressey 1 year, 8 days ago
• Small formatting updates and fixes. Chris Pressey 1 year, 14 days ago
• Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 1 year, 1 month ago
• add second De Morgan's law Proloy Mishra 1 year, 4 months ago
• Merge pull request #9 from pro465/de-morgans Chris Pressey (commit: GitHub) 1 year, 5 months ago
• minor fixes Proloy Mishra (commit: GitHub) 1 year, 5 months ago
• Place code under BSD license and examples in public domain. (#8) Chris Pressey (commit: GitHub) 1 year, 5 months ago
• prove de morgan's rule Proloy Mishra 1 year, 5 months ago
• A last few edits before we release 0.3. Chris Pressey 1 year, 6 months ago
• remove extraneous theorems Proloy Mishra 1 year, 7 months ago
• Fix the translation of modus ponens and give resulting proof. Chris Pressey 1 year, 7 months ago
• Improve "typesetting" of this document. Chris Pressey 1 year, 7 months ago
• fix incorrect theorem Proloy Mishra 1 year, 7 months ago
• add test for constant and function name uniqueness Proloy Mishra 1 year, 7 months ago
• Add an example proof in a Combinatory Logic. Chris Pressey 1 year, 11 months ago
• Rewrite some of the prose here to match what I've learned so far. Chris Pressey 1 year, 11 months ago
• Another maybe-useful preliminary. Beginning to have my doubts tho. Chris Pressey 2 years ago
• Add some lemmas regarding group inverses. Chris Pressey 2 years ago
• Add a couple of trivial lemmas. Chris Pressey 2 years ago
• Develop the boolean algebra lemmas more. Chris Pressey 2 years ago
• Axioms for boolean algebra, and some lemmas therein. Chris Pressey 2 years ago
• Link the developments together. Chris Pressey 2 years ago
• Fix (by substituting early) and finish the proof. Chris Pressey 2 years ago
• Checkpoint this proof in progress. Chris Pressey 2 years ago