https://github.com/rlepigre/pml

New version of the PML language and (classical) proof assistant
https://github.com/rlepigre/pml

classical-logic ocaml pml program-equivalence proof-assistant

Last synced: 2 months ago
JSON representation

New version of the PML language and (classical) proof assistant

• Host: GitHub
• URL: https://github.com/rlepigre/pml
• Owner: rlepigre
• License: mit
• Created: 2017-08-31T06:46:11.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2022-08-17T06:47:59.000Z (over 2 years ago)
• Last Synced: 2023-07-31T17:38:05.743Z (over 1 year ago)
• Topics: classical-logic, ocaml, pml, program-equivalence, proof-assistant
• Language: OCaml
• Homepage: http://pml-lang.org
• Size: 5.78 MB
• Stars: 18
• Watchers: 5
• Forks: 2
• Open Issues: 19

Awesome Lists containing this project