FreeSpec
A framework for implementing and certifying impure computations in Coq
51 stars
8 watching
11 forks
Language: Coq
last commit: 9 months ago
Linked from 2 awesome lists
coqformal-verificationfreer-monads
FreeSpec A framework for implementing and certifying impure computations in Coq
coq-community/awesome-coq
uhub/awesome-coq