Skip to content

Comment on Coq 8.13parent

Comments

INRIA is an exceptional institution and is able to hire a lot of amazing talent. They were one the earliest public research institutions that had a separate career track for developers and technical staff.

It's truly a national gem. Researchers at INRIA are responsible for scikit-learn, coq, ocaml, etc etc.

AboutSource Built by g1lg1l

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