ceramist

ceramist

https://github.com/verse-lab/ceramist

Coq120

4 years ago

Reviews

Verified hash-based AMQ structures in Coq

Search similar apps

License

GNU General Public License v3.0

Share

Verified hash-based AMQ structures in Coq

Creator

verse-lab

Related apps