Popular repositories Loading
-
strandsrocq
strandsrocq PublicStrandsRocq is a framework based on the strand spaces model for symbolic protocol verification in the Rocq proof assistant.
Rocq Prover 4
Repositories
Showing 1 of 1 repositories
- strandsrocq Public
StrandsRocq is a framework based on the strand spaces model for symbolic protocol verification in the Rocq proof assistant.
Top languages
Loading…
Most used topics
Loading…