This repository is a minimal Lean 4 fixture for testing.
It intentionally contains only three Putnam-style Lean problems:
lean4/src/putnam_1968_a1.leanlean4/src/putnam_1977_a3.leanlean4/src/putnam_1988_b1.lean
All other languages/problems/docs have been removed on purpose.