← All repos

verse-lab/ceramist

View on GitHub ↗ ★ 128 Coq

Verified hash-based AMQ structures in Coq

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2020-07-25 · latest 2020-07-25