The avatar for @bryangingechen
Bryan Gin-ge Chen
here to learn
Published
Edited
1 fork
14 Likes
Lean
Hello, Lean prover!
Fibonacci formalized 1: some sums
Fibonacci formalized 2: bees and carsConnect Observable notebooks to Lean on your computer with websocketdStepping through currying in LeanLean exercise boxStandalone Lean editorGitHub Lean doc previewhighlightjs for LeanGitHub Lean file viewer
Also listed in…
Meals
More from Observable creators