Explore projects
Most starred
Trending
Active
Inactive
All
View BiCoq project
MARCON Cecile /
BiCoq
Implementation of bigraphs in Rocq Prover.
1
Updated
Jun 15, 2026
1
1
0
6
Updated
Jun 15, 2026
