Stepping through currying in Lean / Bryan Gin-ge Chen | Observable

Bryan Gin-ge Chen

here to learn

Published

Edited

Importers

4 stars

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…