ibrahimmian36/leanscreen

A calibrated faithfulness screen for informal↔Lean 4 pairs,…