Reservoir

No results found

LeanMathSigProc

Readme

No README.md in repository.

GPLv2
a month ago
3 stars

Lean

v4.12.0-rc1
v4.11.0
v4.11.0-rc3
v4.11.0-rc2
v4.11.0-rc1
v4.10.0

Repository

MohanadAhmed/LeanMathSigProc

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