tydeu

followers

following

stars

Lean FRO

United States

Organizations

hatpress

leanprover

Mac Malone's starred repositories

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.04560 65 1803

inundation

Stress test for Lake.

Language:Lean1 20