1. Dmitry Grebeniuk
  2. coq-monads

Overview

HTTPS SSH
This library is not currently developed.
Please take a look at https://bitbucket.org/gds/coq-practical-monads/