files / problems / simon-ionization-excess / lean

..
B3NatWitness.lean2.5 KB
HPSCoefficient.lean6.5 KB
HPSRational.lean1.1 KB
lake-manifest.json3.1 KB
lakefile.toml401 B
lean-toolchain25 B
LiebPair.lean979 B
README.md1.6 KB

This folder on GitHub