Lean
Public
Notebooks related to the Lean theorem prover https://leanprover.github.io
Filter
None
Sort
Last updated
Filter
None
Sort
Listing order
Observable
62
7
Sign in
Hello, Lean prover!
Bryan Gin-ge Chen
Jan 26, 2021
38
Fibonacci formalized 1: some sums
Bryan Gin-ge Chen
Jan 29, 2021
14
Fibonacci formalized 2: bees and cars
Fork
Bryan Gin-ge Chen
Jul 5, 2020
5
Connect Observable notebooks to Lean on your computer with websocketd
Bryan Gin-ge Chen
Feb 3, 2020
6
Stepping through currying in Lean
Bryan Gin-ge Chen
Dec 14, 2019
4
Lean exercise box
Bryan Gin-ge Chen
Aug 15, 2019
1
Standalone Lean editor
Bryan Gin-ge Chen
Aug 15, 2019
2
GitHub Lean doc preview
Bryan Gin-ge Chen
Feb 16, 2021
4
highlightjs for Lean
Bryan Gin-ge Chen
Feb 22, 2021
2
8
GitHub Lean file viewer
Fork
Bryan Gin-ge Chen
Feb 16, 2021
2
