GitHub Lean file viewer / Bryan Gin-ge Chen | Observable

Bryan Gin-ge Chen

here to learn

Published

Edited

Fork of GitHub Lean doc preview

1 Like

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

More from Observable creators