GitHub repository: lthms/FreeSpec
Primary language: Coq
Description: A framework for implementing and certifying impure computations in Coq