https://github.com/lthms/FreeSpec
Coq49
2 years ago
A framework for implementing and certifying impure computations in Coq
Mozilla Public License 2.0