Filter
None
Sort
Last updated
Observable
Bryan Gin-ge Chen
@bryangingechen
here to learn
Sign in
Lean | Bryan Gin-ge Chen | Observable
Lean | Bryan Gin-ge Chen | Observable
Lean
Public
New
Notebooks related to the Lean theorem prover https://leanprover.github.io
Filter
None
Sort
Published
62
7
Standalone Lean editor
Bryan Gin-ge Chen
Aug 15, 2019
2
Connect Observable notebooks to Lean on your computer with websocketd
Bryan Gin-ge Chen
Feb 3, 2020
6
Fibonacci formalized 1: some sums
Bryan Gin-ge Chen
Jan 29, 2021
14
Hello, Lean prover!
Bryan Gin-ge Chen
Jan 26, 2021
38
Stepping through currying in Lean
Bryan Gin-ge Chen
Dec 14, 2019
4
Lean exercise box
Bryan Gin-ge Chen
Aug 15, 2019
1
GitHub Lean doc preview
Bryan Gin-ge Chen
Feb 16, 2021
4
Fibonacci formalized 2: bees and cars
Fork
Bryan Gin-ge Chen
Jul 5, 2020
5
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
