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