The avatar for @bryangingechen
Bryan Gin-ge Chen
here to learn
Published
Edited
Fork of Fibonacci formalized 1: some sums
5ย 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 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