Popular repositories Loading
-
strandsrocq
strandsrocq PublicStrandsRocq is a framework based on the strand spaces model for symbolic protocol verification in the Rocq proof assistant.
Coq
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.
strandsrocq/strandsrocq’s past year of commit activity
