• Functional Programming in Lean https://leanprover.github.io/functional_programming_in_lean/ 37 comments 28/5/2023

• Functional Programming in Lean - a free online book on writing programs in the Lean theorem prover, without assuming pre-existing functional programming knowledge https://leanprover.github.io/functional_programming_in_lean/ 8 comments 28/5/2023 programming

Linking pages

Related searches:

Search whole site: site:leanprover.github.io

Search title: Functional Programming in Lean - Functional Programming in Lean

See how to search.