Weights
Formalization in Lean4 of some results in "Minimization of hypersurfaces" by A.-S. Elsenhans and myself
1-8 of 8 dependencies of Weights
Sort by
Require Order
batteries
v4.12.0The "batteries included" extended library for the Lean programming language and theorem proverQq
v4.12.0-rc1Intuitive, type-safe expression quotations for Lean 4.aesop
v4.12.0White-box automation for Lean 4proofwidgets
v0.0.42Helper toolkit for creating your own Lean 4 UserWidgets- Cli
2cf1030 importGraph
v4.12.0Tool to analyse the import structure of lean projects.- LeanSearchClient
4261c7c - mathlib
2cb73c7