Bryan Gin-ge ChenLean

Public
Lean

Notebooks related to the Lean theorem prover https://leanprover.github.io

Showing all 10 listings

1.

Hello, Lean prover!

Bryan Gin-ge Chen

Jul 28, 2019• 37

2.

Fibonacci formalized 1: some sums

Bryan Gin-ge Chen

Jul 28, 2019• 14

3.

Fibonacci formalized 2: bees and cars

Bryan Gin-ge Chen

Jul 28, 2019• 5

4.

Connect Observable notebooks to Lean on your computer with websocketd

Bryan Gin-ge Chen

Jul 31, 2019• 5

5.

Stepping through currying in Lean

Bryan Gin-ge Chen

Jul 28, 2019• 4

6.

Lean exercise box

Bryan Gin-ge Chen

Jul 28, 2019• 1

7.

Standalone Lean editor

Bryan Gin-ge Chen

Jul 28, 2019• 1

8.

GitHub Lean doc preview

Bryan Gin-ge Chen

Nov 23, 2019• 3

9.

highlightjs for Lean

Bryan Gin-ge Chen

Mar 15, 2020• 1 8

10.

GitHub Lean file viewer

Bryan Gin-ge Chen

Mar 15, 2020• 1