Moritz Firsching

icon indicating a website link firsching.ch icon indicating an email [email protected]

icon company Google Research icon location Basel, CH

Results 1 repositories owned by Moritz Firsching

formal_book

35
Stars
6
Forks
Watchers

Formalizing "Proofs from THE BOOK"

verified publisher icon mo271