devlibrary

Functional Data Structures and Algorithms: A Proof Assistant Approach

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
Read now