Back to search
Top Contributors
486
commits
29
commits
20
commits
19
commits
9
commits
8
commits
4
commits
3
commits
3
commits
2
commits
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Stars
166
Forks
31
Watchers
166
Open Issues
4
Overall repository health assessment
No package.json found
This might not be a Node.js project
486
commits
29
commits
20
commits
19
commits
9
commits
8
commits
4
commits
3
commits
3
commits
2
commits
Merge pull request #45 from tabareau/sortpoly-equality
db5a214View on GitHubMerge pull request #44 from SkySkimmer/no-opt-schemes
1b42619View on GitHubAdapt to rocq-prover/rocq#21241 (stop relying on eq_rec being defined from eq_rect)
188cc3aView on GitHubAdapt to https://github.com/rocq-prover/rocq/pull/17876
9e1e934View on GitHubAdapt to https://github.com/rocq-prover/rocq/pull/17876
3e565a1View on GitHubMerge pull request #37 from Villetaneuse/rm_arith_files
c96ee95View on GitHub