Geeks
verse-lab
/
ceramist
Verified hash-based AMQ structures in Coq
Primary Language
Coq
GNU General Public License v3.0
GPL-3.0
ceramist GitHub
Markdown
Readme
0
Issues
121
Stargazers
7
Watchers
Watchers
barambani
Dublin, Ireland
elfi
hannesm
@robur-coop
ilyasergey
National University of Singapore
jhcloos
kiranandcode
A cool breeze
llelf