https://github.com/levjj/esverify-theory
Formalism and proofs for esverify
https://github.com/levjj/esverify-theory
Last synced: 9 months ago
JSON representation
Formalism and proofs for esverify
- Host: GitHub
- URL: https://github.com/levjj/esverify-theory
- Owner: levjj
- Created: 2018-02-01T03:36:16.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2018-05-26T17:36:38.000Z (about 8 years ago)
- Last Synced: 2024-09-25T18:02:09.145Z (over 1 year ago)
- Language: Lean
- Size: 1.5 MB
- Stars: 20
- Watchers: 4
- Forks: 2
- Open Issues: 0