Blogs / Company blogs

Coq

coq.inria.fr

Rocq is a general-purpose, industrial-strength interactive theorem prover.

Popular posts

2

Total points

267

HN comments

129

Rank

#4,853 company

Visit coq.inria.fr → RSS feedOn Hacker News Dec 2016 – Feb 2021

Software Engineering 2Programming Languages 2