program-equivalence topic
List
program-equivalence repositories
pml
20
Stars
2
Forks
Watchers
New version of the PML language and (classical) proof assistant
