Topic · 2 books to explore
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
by David Thrane Christiansen
Functional programming , Lean programming language , Theorem prover
We can't find the internet
Attempting to reconnect
Something went wrong!
