Putnam2025

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
doc-gen4v4.21.0
Document Generator for Lean 4
Git dependency.
Found on Reservoir.
Qqv4.21.0
Intuitive, type-safe expression quotations for Lean 4.
Git dependency.
Found on Reservoir.
aesopv4.21.0
White-box automation for Lean 4
Git dependency.
Found on Reservoir.
batteriesv4.21.0
The "batteries included" extended library for the Lean programming language and theorem prover
Git dependency.
Found on Reservoir.
mathlibv4.21.0
The math library of Lean 4