Tree @master (Download .tar.gz)
- ..
- incorrect
- absorption-laws.eqthy.md
- boolean-algebra.eqthy.md
- combinatory-logic.eqthy.md
- group-inverse.eqthy.md
- group-theory.eqthy.md
- interior-algebra.eqthy.md
- monoid-id-comm.eqthy.md
- propositional-algebra.eqthy.md
- ring-theory.eqthy.md
- rule-congruence.eqthy.md
- rule-of-constancy.eqthy.md
- rule-substitution.eqthy.md
- rule-variable-renaming.eqthy.md
- semigroup-idempotence.eqthy.md
- semigroup-right-inverse-is-left.eqthy.md
- set-difference.eqthy.md
- socks-and-shoes.eqthy.md
History of
eg
@master
git clone https://git.catseye.tc/Eqthy/
- Update copyright dates. Chris Pressey 10 days ago
- Finish the proof I was originally setting out to write here. Chris Pressey 13 days ago
- Another checkpoint Chris Pressey 13 days ago
- Checkpoint Chris Pressey 13 days ago
- Another checkpoint. Chris Pressey 13 days ago
- Checkpoint Chris Pressey 13 days ago
- Fix that last lemma. Chris Pressey 14 days ago
- Checkpoint Chris Pressey 14 days ago
- Tiny update to ring theory theorems. Chris Pressey 14 days ago
- We would like to implement the symmetry hint. Chris Pressey 15 days ago
- Baby step. Chris Pressey a month ago
- Checkpoint theorem of ring theory. Chris Pressey a month ago
- Editing: diction, link descriptions, fix a broken link. Chris Pressey a month ago
- Don't assume permutation, prove it. Also rewrite some things. Chris Pressey 1 year, 9 months ago
- Add Johnson's axiom system and proof of Rule of Constancy. Chris Pressey 1 year, 9 months ago
- Raise error if naming theorem or axiom with already existing name. Chris Pressey 1 year, 9 months ago
- These are theorems in the Boolean algebra document. Chris Pressey 2 years ago
- Factor Group Theory out into its own document. Chris Pressey 2 years ago
- Convert Algebra of Sets document to Absorption Laws proof. Chris Pressey 2 years ago
- Use Boolean algebra as basis for set difference, interior algebra. Chris Pressey 2 years ago
- Allow Eqthy documents in Markdown to include other Eqthy documents. Chris Pressey 2 years ago
- A slightly less trivial result in the theory of interior algebras. Chris Pressey 2 years ago
- Add document with axioms for Interior Algebra. Chris Pressey 2 years ago
- Fix link Chris Pressey 2 years ago
- Have all examples live in the same directory right now. Chris Pressey 2 years ago
- Show that context is accumulated from one document to the next. Chris Pressey 2 years ago
- Add 'Context' type, minor edits elsewhere as well. Chris Pressey 2 years ago
- Two proofs of properties of the set difference operator. Chris Pressey 2 years ago
- Add development of the algebra of sets. Chris Pressey 2 years ago
- Add proper "Group Element Commutes with Inverse" proof, and rename the other one. Chris Pressey 2 years ago