https://github.com/leanprover/functional_programming_in_lean

A book about functional programming in Lean
https://github.com/leanprover/functional_programming_in_lean

Last synced: 8 months ago
JSON representation

A book about functional programming in Lean

• Host: GitHub
• URL: https://github.com/leanprover/functional_programming_in_lean
• Owner: leanprover
• License: apache-2.0
• Created: 2022-06-01T22:49:49.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2024-02-06T09:45:24.000Z (over 2 years ago)
• Last Synced: 2024-04-28T03:22:20.484Z (about 2 years ago)
• Homepage: https://leanprover.github.io/functional_programming_in_lean/
• Size: 8.54 MB
• Stars: 38
• Watchers: 9
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

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.