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

• Don't assume permutation, prove it. Also rewrite some things. Chris Pressey 8 months ago
• Add Johnson's axiom system and proof of Rule of Constancy. Chris Pressey 8 months ago
• Raise error if naming theorem or axiom with already existing name. Chris Pressey 8 months ago
• These are theorems in the Boolean algebra document. Chris Pressey 1 year, 7 months ago
• Factor Group Theory out into its own document. Chris Pressey 1 year, 7 months ago
• Convert Algebra of Sets document to Absorption Laws proof. Chris Pressey 1 year, 7 months ago
• Use Boolean algebra as basis for set difference, interior algebra. Chris Pressey 1 year, 7 months ago
• Allow Eqthy documents in Markdown to include other Eqthy documents. Chris Pressey 1 year, 7 months ago
• A slightly less trivial result in the theory of interior algebras. Chris Pressey 1 year, 7 months ago
• Add document with axioms for Interior Algebra. Chris Pressey 1 year, 7 months ago
• Fix link Chris Pressey 1 year, 7 months ago
• Have all examples live in the same directory right now. Chris Pressey 1 year, 7 months ago
• Show that context is accumulated from one document to the next. Chris Pressey 1 year, 7 months ago
• Add 'Context' type, minor edits elsewhere as well. Chris Pressey 1 year, 7 months ago
• Two proofs of properties of the set difference operator. Chris Pressey 1 year, 7 months ago
• Add development of the algebra of sets. Chris Pressey 1 year, 7 months ago
• Add proper "Group Element Commutes with Inverse" proof, and rename the other one. Chris Pressey 1 year, 7 months ago
• Small formatting updates and fixes. Chris Pressey 1 year, 7 months ago
• Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 1 year, 9 months ago
• add second De Morgan's law Proloy Mishra 2 years ago
• Merge pull request #9 from pro465/de-morgans Chris Pressey (commit: GitHub) 2 years ago
• minor fixes Proloy Mishra (commit: GitHub) 2 years ago
• Place code under BSD license and examples in public domain. (#8) Chris Pressey (commit: GitHub) 2 years ago
• prove de morgan's rule Proloy Mishra 2 years ago
• A last few edits before we release 0.3. Chris Pressey 2 years ago
• remove extraneous theorems Proloy Mishra 2 years ago
• Fix the translation of modus ponens and give resulting proof. Chris Pressey 2 years ago
• Improve "typesetting" of this document. Chris Pressey 2 years ago
• fix incorrect theorem Proloy Mishra 2 years ago
• add test for constant and function name uniqueness Proloy Mishra 2 years ago