Skip to content
Hackerly

Comment on Coq 8.13parent

Comments

noblethrasher

Also, Thierry Coquand, who is behind CoC, and is also one of the developers of the software that became Coq.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.