affeldt-aist / monaeLinks

Monadic effects and equational reasoning in Rocq
71Updated this week

Alternatives and similar repositories for monae

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

Sorting: