Teaching Mathematics Using Lean and Controlled Natural Language.

Patrick Massot

Browse the full ITP paper archive.