https://github.com/gmalecha/coq-smt-check

Invoke SMT solvers from Coq to check obligations
https://github.com/gmalecha/coq-smt-check

coq smt-solver tactics

Last synced: about 1 month ago
JSON representation

Invoke SMT solvers from Coq to check obligations

• Host: GitHub
• URL: https://github.com/gmalecha/coq-smt-check
• Owner: gmalecha
• License: mit
• Created: 2016-02-05T19:02:58.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2020-06-16T17:11:53.000Z (over 4 years ago)
• Last Synced: 2023-04-30T20:32:51.124Z (over 1 year ago)
• Topics: coq, smt-solver, tactics
• Language: OCaml
• Size: 34.2 KB
• Stars: 9
• Watchers: 2
• Forks: 3
• Open Issues: 4

Awesome Lists containing this project