files / problems / simon-lieb-thirring / lean

..
FhjnProp10Conversion.lean3.3 KB
lake-manifest.json3.1 KB
lakefile.toml274 B
lean-toolchain25 B

This folder on GitHub