fp in lean
.github/workflows | ||
Doug | ||
.gitignore | ||
Doug.lean | ||
lake-manifest.json | ||
lakefile.lean | ||
lean-toolchain | ||
Main.lean | ||
README.md |
.github/workflows | ||
Doug | ||
.gitignore | ||
Doug.lean | ||
lake-manifest.json | ||
lakefile.lean | ||
lean-toolchain | ||
Main.lean | ||
README.md |