functional_programming_in_lean icon indicating copy to clipboard operation
functional_programming_in_lean copied to clipboard

Published 20 hours ago • verified publisher icon leanprover
→

Metadata

A book about functional programming in Lean

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.

← Metadata

37
Stars
2
Forks
Watchers

Owner

verified publisher icon leanprover

Metadata

A book about functional programming in Lean

Back