files

notes/
problems/
refs/
scripts/
AGENTS.md4.5 KB
lean-toolchain25 B
LICENSE1.0 KB
README.md42 KB

This folder on GitHub