Bryan Gin-ge Chen/...

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