General-purpose monad typeclass hierarchy for Coq - View it on GitHub
Star
8
Rank
1487255