← Back to books

λ

Book details

Functional Programming in Lean

by David Thrane Christiansen

Categories Functional programming , Lean programming language , Theorem prover

Read this book

Keep exploring

Other books like this

Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan
COMMON LISP: A Gentle Introduction to Symbolic Computation David S. Touretzky
Control Structures in Programming Languages Xavier Leroy
How to Think Like a (Functional) Programmer Allen B Downey, Nicholas Monje

A hand-maintained list of free technical books.

Books Categories

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect