coq-prelude

General-purpose monad typeclass hierarchy for Coq

Stars

8

Forks

5

Language

Coq

Last Updated

Sep 07, 2023

Similar Repos