Stars
6
stars
written in Rocq Prover
Clear filter
A quantum circuit language and formal verification tool
Total Parser Combinators in Coq [maintainer=@womeier]
Replib: generic programming & Unbound: generic treatment of binders
Leaf library for Iris Concurrent Separation Logic
A mini formalization of μμ͂ and classical realizability