☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (2)
natural
A controlled natural language syntax for Lean.
Transitive
Include transitive dependencies
Sort by
Require Order
Registry dependency.
Found on Reservoir.
batteries
v4.36.0-rc1
The "batteries included" extended library for the Lean programming language and theorem prover
Registry dependency.
Found on Reservoir.
aesop
v4.36.0-rc1
White-box automation for Lean 4
1
20
