Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

ceramist

Verified hash-based AMQ structures in Coq

Coq120gpl-3.0

4 years ago

amqbloom-filtercoq