https://github.com/newca12/ocaml-atp

Code from John Harrison's Handbook of Practical Logic and Automated Reasoning
https://github.com/newca12/ocaml-atp

Last synced: about 5 hours ago
JSON representation

Code from John Harrison's Handbook of Practical Logic and Automated Reasoning

• Host: GitHub
• URL: https://github.com/newca12/ocaml-atp
• Owner: newca12
• License: other
• Created: 2017-11-11T14:38:44.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2017-11-11T18:05:25.000Z (almost 7 years ago)
• Last Synced: 2023-03-11T15:11:35.625Z (over 1 year ago)
• Language: OCaml
• Size: 237 KB
• Stars: 3
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project