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
- rule-congruence.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/
- These are theorems in the Boolean algebra document. Chris Pressey 27 days ago
- Factor Group Theory out into its own document. Chris Pressey 27 days ago
- Convert Algebra of Sets document to Absorption Laws proof. Chris Pressey 27 days ago
- Use Boolean algebra as basis for set difference, interior algebra. Chris Pressey a month ago
- Allow Eqthy documents in Markdown to include other Eqthy documents. Chris Pressey a month ago
- A slightly less trivial result in the theory of interior algebras. Chris Pressey a month ago
- Add document with axioms for Interior Algebra. Chris Pressey a month ago
- Fix link Chris Pressey a month ago
- Have all examples live in the same directory right now. Chris Pressey a month ago
- Show that context is accumulated from one document to the next. Chris Pressey a month ago
- Add 'Context' type, minor edits elsewhere as well. Chris Pressey a month ago
- Two proofs of properties of the set difference operator. Chris Pressey a month ago
- Add development of the algebra of sets. Chris Pressey a month ago
- Add proper "Group Element Commutes with Inverse" proof, and rename the other one. Chris Pressey a month ago
- Small formatting updates and fixes. Chris Pressey a month ago
- Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 2 months ago
- add second De Morgan's law Proloy Mishra 5 months ago
- Merge pull request #9 from pro465/de-morgans Chris Pressey (commit: GitHub) 6 months ago
- minor fixes Proloy Mishra (commit: GitHub) 6 months ago
- Place code under BSD license and examples in public domain. (#8) Chris Pressey (commit: GitHub) 6 months ago
- prove de morgan's rule Proloy Mishra 6 months ago
- A last few edits before we release 0.3. Chris Pressey 7 months ago
- remove extraneous theorems Proloy Mishra 8 months ago
- Fix the translation of modus ponens and give resulting proof. Chris Pressey 8 months ago
- Improve "typesetting" of this document. Chris Pressey 8 months ago
- fix incorrect theorem Proloy Mishra 8 months ago
- add test for constant and function name uniqueness Proloy Mishra 8 months ago
- Add an example proof in a Combinatory Logic. Chris Pressey 1 year, 24 days ago
- Rewrite some of the prose here to match what I've learned so far. Chris Pressey 1 year, 25 days ago
- Another maybe-useful preliminary. Beginning to have my doubts tho. Chris Pressey 1 year, 30 days ago