Reservoir

No results found

Duper

Readme
Versions (19)
Dependencies (2)

Displaying 1-2 of 2 dependencies of Duper

Sort by

Require Order

auto
2b6ed7d
batteries
9c6c2d6

20

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