Kimina-Prover-RL

Why it matters

Not an isolated event—kiminaproverrl has been trending in this direction. The developments connection makes it particularly relevant.