issues
search
affeldt-aist
/
monae
Monadic effects and equational reasonig in Coq
GNU Lesser General Public License v2.1
68
stars
12
forks
source link
revert hier.png
#135
Closed
t6s
closed
3 months ago