Samplinglib
Lean gate not recorded for this source state main · 9bb7a7394ab0

Curriculum

L1 · Concepts and conventions

Mathematical QA

Structural graph QA

Difficulty is provisional. Each question discloses its own current editorial status; empirical calibration remains pending.