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-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/
- Use `with` to eliminate proliferation of axioms. Chris Pressey 2 years ago
- Allow rules to be instantiated with altered variable names. Chris Pressey 2 years ago
- Fix #th-comm axiom, remove now-unneeded #MP-rev axiom. Chris Pressey 2 years ago
- Finish the Propositional Algebra proof! Such yay, much rejoicing Chris Pressey 2 years ago
- Modus ponens! After fixing a silly error in an axiom definition. Chris Pressey 2 years ago
- Checkpoint propositional algebra proof (take different tack on MP.) Chris Pressey 2 years ago
- Checkpoint working out the propositional algebra proof. Chris Pressey 2 years ago
- Add the hints given in the book. Chris Pressey 2 years ago
- Pick a proof for this and start working it out. Chris Pressey 2 years ago
- Rename example file again, to get it right this time. Chris Pressey 2 years ago
- Tidy up some of the example proofs a bit. Chris Pressey 2 years ago
- Rename example proof which is actually embedded in Markdown. Chris Pressey 2 years ago
- Embed Eqthy documents in Markdown documents. Chris Pressey 2 years ago
- Parse and verify one file at a time. Expand test driver. Chris Pressey 2 years ago
- Add an example file which might work for propositional algebra. Chris Pressey 2 years ago
- Check the known-valid example documents as part of test script. Chris Pressey 2 years ago
- Organize example documents better. Chris Pressey 2 years ago
- Add missing logging. Fix associative moves in proof. Chris Pressey 2 years ago
- Add a proof that should work, but doesn't. Chris Pressey 2 years ago
- Refactor, check for Reflexivity, 3 more tests pass. Chris Pressey 2 years ago
- Huzzah! Chris Pressey 2 years ago
- Checkpoint again. Nearly there! Chris Pressey 2 years ago
- Keep checkpointing. Tsk at the added axioms. Must address that. Chris Pressey 2 years ago
- Checkpoint converting proof. Chris Pressey 2 years ago
- Checkpoint fixing subst to support checking Socks and Shoes Chris Pressey 2 years ago
- Begin translating Socks and Shoes proof. Add TODO list. Chris Pressey 2 years ago
- First steps towards handling the derivation-driving hints. Chris Pressey 2 years ago
- Add example with hints. Chris Pressey 2 years ago
- Add beginnings of verifier module. Chris Pressey 2 years ago
- Fix bug in parser, and make example source parseable. Chris Pressey 2 years ago