Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Eqthy/
- Try to deal properly with Reference hints. Hit a wall. Chris Pressey 2 years ago
- Refactor documentation. 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
- Failing test cases for giving the wrong hints. 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
- Introduce update_at_index. Finally fix all_rewrites. Chris Pressey 2 years ago
- Even more checkpointing while hunting down this thing. 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
- Implement Congruence. Chris Pressey 2 years ago
- Stricter syntax for Substitution and Congruence. Chris Pressey 2 years ago
- Implement Substitution based on hint. Chris Pressey 2 years ago
- Begin implementing Substitution based on hint Chris Pressey 2 years ago
- First steps towards handling the derivation-driving hints. Chris Pressey 2 years ago
- Add two failing test cases. They will need to be implemented. Chris Pressey 2 years ago
- Merge branch 'master' of git+ssh://ssh.github.com/catseye/Eqthy Chris Pressey 2 years ago
- Use more consistent nomenclature: the topmost thing is a "document". Chris Pressey 2 years ago
- Add test driver script. Chris Pressey 2 years ago
- Rewrite part of README for clarity, giving the rules of inference. Chris Pressey 2 years ago
- Add example with hints. Chris Pressey 2 years ago
- Parse all defined hints, stub out logic for following them. Chris Pressey 2 years ago
- Consistentify nomenclature: {Program, Source} => Development Chris Pressey 2 years ago
- Add a test case, fix a bug. Chris Pressey 2 years ago
- Partial support for hints. Chris Pressey 2 years ago
- Axioms and theorems can be given names. Chris Pressey 2 years ago