Evgeny Ivashkevich
Results
1
repositories owned by
Evgeny Ivashkevich
math-formalizations
15
Stars
0
Forks
Watchers
Formalization of some elementary mathematical theories in Coq
Evgeny Ivashkevich
Formalization of some elementary mathematical theories in Coq