Iris Project | A Higher-Order Concurrent Separation Logic Framework,
implemented and verified in the Rocq Prover
iris-project.orgIris Project
Iris Project | A Higher-Order Concurrent Separation Logic Framework,
implemented and verified in the Rocq Prover