Geeks
spidermoy
/
LTL_Coq
Linear Temporal Logic formalized in Coq
Primary Language
Coq
LTL_Coq GitHub
Markdown
Readme
0
Issues
1
Stargazer
0
Watchers
Stargazers
cpressey
Office... submarine!