HYIP-Man: Formalizing 100 theorems in Coq
Saturday, October 06, 2018
Formalizing 100 theorems in Coq
Formalizing 100 theorems in Coq

more