rlepigre

rlepigre

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
21 Stars
2 Forks
4 Watchers

Repositories (1)

pml rlepigre/pml OCaml

New version of the PML language and (classical) proof assistant

21