Geeks
jesper-bengtson
/
Charge
Higher-order separation logic framework in Coq
Primary Language
Coq
Other
NOASSERTION
Charge GitHub
Markdown
Readme
8
Issues
1
Stargazer
4
Watchers
Charge
Higher-order separation logic framework in Coq