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
A framework for implementing and certifying impure computations in Coq