files / problems / brocard / lean

..
FactorialMod151.lean1.6 KB
FactorialPrimePower.lean3.2 KB
lake-manifest.json3.1 KB
lakefile.toml330 B
lean-toolchain24 B
WilsonOffset.lean1.8 KB

This folder on GitHub