Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Change of Name: Coq –> The Rocq Prover
github.com/coq
35 points
luu
2 years ago
48 comments
Loading...
Change of Name: Coq –> The Rocq Prover | Heykuki News