Verified hash-based AMQ structures in Coq
This release snapshots the stable functionality of the ceramist library:
Details of the implementation can be found on the associated CAV2020 paper.
This release snapshots the stable functionality of the ceramist library:
Details of the implementation can be found on the associated CAV2020 paper.
First release of the ProbHash library.