Reservoir

No results found

lean4-example

Readme

lean4-example

MIT
6 days ago
10 stars

Lean

v4.12.0-rc1
v4.11.0
v4.11.0-rc3
v4.11.0-rc2
v4.11.0-rc1
v4.10.0
v4.10.0-rc2
v4.9.1
v4.9.0
v4.9.0-rc3
+ 16 more

Repository

yangky11/lean4-example

Lean

lean-lang.org
The Lean FRO
Lean Community
Report a bug
Loogle

Books

The Lean Manual
Theorem Proving in Lean
Functional Programming in Lean
Mathematics in Lean
The Mechanics of Proof
How To Prove It With Lean

Social

leanprover
@leanprover
Lean FRO
leanprover