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
Theory
#25
Open
craff
opened
6 years ago
craff
commented
6 years ago
The document with the theory should be added to the git repository.
The document with the theory should be added to the git repository.