Moritz Firsching
Results
1
repositories owned by
Moritz Firsching
formal_book
37
Stars
6
Forks
Watchers
Formalizing "Proofs from THE BOOK"
