leanprover/functional_programming_in_lean

A book about functional programming in Lean

2 commits

updated Feb 6, 2024

leanprover.github.io/functional_programming_in_lean

README

Staging repository for Functional Programming in Lean

This repository is part of the build and release process for the in-progress online book Functional Programming in Lean by David Thrane Christiansen.

Contributors

david-christiansen

1 commits

leodemoura

1 commits

Similar repos

leanprover/fp-lean

Functional Programming in Lean

194

same org

leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

275

same org

bobzhang/ocaml-book

a book about ocaml

189

djvelleman/HTPILeanPackage

Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

lean-ja/lean-by-example

コード例で学ぶ Lean 言語

188

diffprog/code

Code for the book "The Elements of Differentiable Programming".

288

scalawithcats/scala-with-cats

Source code for Scala with Cats

418

leanprover/functional_programming_in_lean

A book about functional programming in Lean

2 commits

updated Feb 6, 2024

leanprover.github.io/functional_programming_in_lean

See the code

README

Staging repository for Functional Programming in Lean

This repository is part of the build and release process for the in-progress online book Functional Programming in Lean by David Thrane Christiansen.

Similar repos

leanprover/fp-lean

Functional Programming in Lean

194

same org

leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

275

same org

bobzhang/ocaml-book

a book about ocaml

189

djvelleman/HTPILeanPackage

Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

lean-ja/lean-by-example

コード例で学ぶ Lean 言語

188

diffprog/code

Code for the book "The Elements of Differentiable Programming".

288

scalawithcats/scala-with-cats

Source code for Scala with Cats

418

Contributors

david-christiansen

1 commits

leodemoura

1 commits