| github/close-user-issues.js | | 7,464 | | |
| extract_eml.py | | 2,730 | | |
| lean/lean-toolchain | | 25 | | |
| lean/MathlibExamples/lean-toolchain | | 25 | | |
| lean/MathlibExamples/lakefile.toml | | 385 | | |
| lean/MathlibExamples/lake-manifest.json | | 3,113 | | |
| lean/MathlibExamples/MathlibExamples.lean | | 69 | | |
| lean/MathlibExamples/MathlibExamples/SetToFinset.lean | | 787 | | |
| lean/MathlibExamples/MathlibExamples/Set.lean | | 241 | | |
| lean/MathlibExamples/MathlibExamples/FinsetLarge.lean | | 1,187 | | |
| lean/MathlibExamples/MathlibExamples/Finset.lean | | 245 | | |
| lean/MathlibExamples/MathlibExamples/Ascii.lean | | 865 | | |
| lean/MathlibExamples/.gitignore | | 7 | | |
| lean/Fibonacci.lean | | 1,769 | | |
| lean/Ascii.lean | | 1,525 | | |
| euler/943.cpp | | 3,970 | | |
| euler/967.cpp | | 3,740 | | |
| euler/966.cpp | | 8,708 | | |
| euler/0.py | | 101 | | |
| arc/requirements.txt | | 19 | | |
