wr
hn
Top
New
Best
Ask
Show
Jobs
Back
M
madiot.fr
Formalizing 100 theorems in Coq
82 points
peter_d_sherman
8 years ago
14 comments
Discussion
