A framework for implementing and certifying impure computations in Coq
Primary LanguageCoqMozilla Public License 2.0MPL-2.0