affeldt-aist / monaeLinks

Monadic effects and equational reasoning in Rocq
72Updated last month

Alternatives and similar repositories for monae

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

Sorting: