Geeks
vasil-sd
/
v2-tlapm
The rewrite of TLAPM, the TLAPS proof manager
Primary Language
OCaml
Other
NOASSERTION
v2-tlapm GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
jhcloos
vasil-sd