GitHub repository: ANSSI-FR/coq-prelude
Primary language: Coq
Created: 2018-09-21T15:00:07Z
Description: General-purpose monad typeclass hierarchy for Coq