Author · 1 book in the library
by Tobias Nipkow , Jasmin Blanchette , Manuel Eberl , Alejandro Gómez-Londoño , Peter Lammich , Christian Sternagel , Simon Wimmer , Bohua Zhan
Functional programming , Data structures , Algorithms , Theorem prover
We can't find the internet
Attempting to reconnect
Something went wrong!
