Last released Apr 29, 2026
A formal validation toolkit calculating Many-Body Dispersion bounds connecting geometric theorems derived in Lean.
Supported by
