Articles from leanprover.github.io

Articles from leanprover.github.io

Functional Programming in Lean (leanprover.github.io)
2023-7-9 Functional programming

Functional Programming in Lean (leanprover.github.io)
2023-6-6 Functional programming

Functional Programming in Lean (leanprover.github.io)
2023-5-29 Functional programming

Functional Programming in Lean - a free online book on writing programs in the Lean theorem prover, without assuming pre-existing functional programming knowledge (leanprover.github.io)
2023-5-29 Functional programming

Logic and Proof (leanprover.github.io)
2023-3-27

Previous Page Next Page