Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Maxixe/
- Update links in "see-also bar". Chris Pressey 1 year, 12 days ago
- Update "see-also bar". Chris Pressey (commit: GitHub) 2 years ago
- Merge pull request #1 from catseye/develop-0.2 Chris Pressey (commit: GitHub) 2 years ago
- Add "see-also bar" to top of README. Chris Pressey 2 years ago
- Update various points of the documentation. Chris Pressey 2 years ago
- No need to call .decode() on the source code file read in. Chris Pressey 2 years ago
- Merge branch 'logic-syntax-sugar' into develop-0.2 Chris Pressey 2 years ago
- Run tests under Python 2, or 3, or both, depending on what's installed. Chris Pressey 2 years ago
- Merge branch 'support-python-3' into develop-0.2 Chris Pressey 2 years ago
- Update source to run under both Python 2 and Python 3. Chris Pressey 3 years ago
- Attempt a proof by contradiction. It doesn't quite work. Chris Pressey 5 years ago
- Rewrite the Equational Reasoning section. Chris Pressey 5 years ago
- Add stand-alone example source file written in Maxixe. Chris Pressey 5 years ago
- Update the README and the Design document. Chris Pressey 5 years ago
- Make tests exercise Python 3. Make them pass when using Python 3. Chris Pressey 5 years ago
- Make lexical scanner less dreadfully inefficient on large inputs. Chris Pressey 5 years ago
- Add UNLICENSE and prep for release of 0.1. Chris Pressey 7 years ago
- Experimentally support some syntactic sugar for logic notation. Chris Pressey 7 years ago
- Fix the definition of UG in the number theory proofs. Chris Pressey 8 years ago
- Add definition of nonlocal to spec and refactor example proofs. Chris Pressey 8 years ago
- Allow hole in Universal Generalization to be plugged. Chris Pressey 8 years ago
- Simplify further, now that we can. Chris Pressey 8 years ago
- Internally, the steps of a proof are their own "neutral" block. Chris Pressey 8 years ago
- Improve error subsystem. Chris Pressey 8 years ago
- Make internals more Pythonic. Document the operations on Terms. Chris Pressey 8 years ago
- Fix formatting in Socrates example and illustrate a problem. Chris Pressey 8 years ago
- Sugar also in the rule: `case`...`end` can be omitted if only 1. Chris Pressey 8 years ago
- Syntatic sugar: if only 1 case in block, case/end need not appear. Chris Pressey 8 years ago
- The sum of an odd number and an odd number is an even number. Chris Pressey 8 years ago
- Show that the variable restriction isn't un-overcome-able. Chris Pressey 8 years ago