Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Eqthy/
- Merge branch 'patch-1' of https://github.com/pro465/Eqthy into patch-1 Proloy Mishra 1 year, 8 months ago
- add test for constant and function name uniqueness Proloy Mishra 1 year, 8 months ago
- Merge branch 'catseye:master' into patch-1 Proloy Mishra (commit: GitHub) 1 year, 8 months ago
- fix #5 Proloy Mishra (commit: Proloy Mishra) 1 year, 8 months ago
- Merge pull request #3 from pro465/patch-1 Chris Pressey (commit: GitHub) 1 year, 9 months ago
- fix link in README.md Proloy Mishra (commit: GitHub) 1 year, 9 months ago
- Merge pull request #2 from catseye/develop-0.2 Chris Pressey (commit: GitHub) 2 years ago
- Fix typo. Chris Pressey 2 years ago
- Add HISTORY.md file. Chris Pressey 2 years ago
- Add Falderal test for variable renaming. Chris Pressey 2 years ago
- Update README. Chris Pressey 2 years ago
- Add an example proof in a Combinatory Logic. Chris Pressey 2 years ago
- Rewrite some of the prose here to match what I've learned so far. Chris Pressey 2 years ago
- Another maybe-useful preliminary. Beginning to have my doubts tho. Chris Pressey 2 years ago
- Add some lemmas regarding group inverses. Chris Pressey 2 years ago
- Add a couple of trivial lemmas. Chris Pressey 2 years ago
- Develop the boolean algebra lemmas more. Chris Pressey 2 years ago
- Axioms for boolean algebra, and some lemmas therein. Chris Pressey 2 years ago
- Add TODO notes. Chris Pressey 2 years ago
- Link the developments together. Chris Pressey 2 years ago
- Fix (by substituting early) and finish the proof. Chris Pressey 2 years ago
- Checkpoint this proof in progress. Chris Pressey 2 years ago
- 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
- Show step number in some error messages. Chris Pressey 2 years ago
- Refactor into `objects` module, and small flake8 cleanups. Chris Pressey 2 years ago
- Fix #th-comm axiom, remove now-unneeded #MP-rev axiom. Chris Pressey 2 years ago
- Remove redundant logging. Chris Pressey 2 years ago
- Factor out common code into `register` method. Chris Pressey 2 years ago
- Bump version number. Chris Pressey 2 years ago