Product
Learn
Community
Pricing
Search
Sign in
Sign up
Bryan Gin-ge Chen
here to learn
Fork
Published
2 collections
By
Bryan Gin-ge Chen
Edited
2 forks
Importers
37 Likes
Lean
Hello, Lean prover!
Fibonacci formalized 1: some sums
Fibonacci formalized 2: bees and cars
Connect Observable notebooks to Lean on your computer with websocketd
Stepping through currying in Lean
Lean exercise box
Standalone Lean editor
GitHub Lean doc preview
highlightjs for Lean
GitHub Lean file viewer
Also listed in…
Ingredients
More from Observable creators