Geeks
wllqwzx
/
seplogic
An implementation of separation logic in Coq
Primary Language
Coq
MIT License
MIT
seplogic GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
Watchers
jhcloos
wllqwzx
Peking University
zhangleijuly
Beijing