ivashkev

Moscow

Pinned Repositories

math-formalizations
Formalization of some elementary mathematical theories in Coq
Language:Coq14 4 00

ivashkev's Repositories

ivashkev/math-formalizations
Formalization of some elementary mathematical theories in Coq
Language:Coq14 4 00