affeldt-aist / monae

Monadic effects and equational reasonig in Coq
70Updated last week

Alternatives and similar repositories for monae:

Users that are interested in monae are comparing it to the libraries listed below