Evgeny Ivashkevich

[email protected]

Moscow

Results 1 repositories owned by


Evgeny Ivashkevich

math-formalizations

15

Stars

0

Forks

Watchers

Formalization of some elementary mathematical theories in Coq