Owner · rocq-community
rocq-community
rocq-community's tracked open-source repos, sorted by stars.
1 repos
- #1
Tricks you wish the Coq manual told you [maintainer=@tchajed]
★ 552+0Star change over the last 7 days
rocq-community's tracked open-source repos, sorted by stars.
Tricks you wish the Coq manual told you [maintainer=@tchajed]