issues
search
rlepigre
/
pml
New version of the PML language and (classical) proof assistant
http://pml-lang.org
MIT License
20
stars
2
forks
source link
Imperative pool
#23
Closed
craff
closed
6 years ago
craff
commented
6 years ago
Eh bah voilà, ça marche plutôt pas mal cette branche.
Eh bah voilà, ça marche plutôt pas mal cette branche.