issues
search
affeldt-aist
/
monae
Monadic effects and equational reasonig in Coq
GNU Lesser General Public License v2.1
67
stars
11
forks
source link
experimental files
#49
Open
affeldt-aist
opened
3 years ago
affeldt-aist
commented
3 years ago
-that were compiling back in October 2019
-that were compiling back in October 2019