1. Dmitry Grebeniuk
  2. coq-monads

Source

coq-monads /

Filename Size Date modified Message
23 B
794 B
3.3 KB
6.0 KB
4 B
5.5 KB
1.7 KB
111 B
2.1 KB
This library is not currently developed.
Please take a look at https://bitbucket.org/gds/coq-practical-monads/