Haruka Kawamura

Results 1 repositories owned by Haruka Kawamura

CoqLibrary

15
Stars
0
Forks
Watchers

Coqで様々な数学の定理を証明