reference. Teaching mathematics using lean and controlled natural language [massot2024teaching]

✍️source

@inproceedings{massot2024teaching,
 title = {Teaching Mathematics Using Lean and Controlled Natural Language},
 author = {Massot, Patrick},
 year = {2024},
 booktitle = {15th International Conference on Interactive Theorem Proving (ITP 2024)},
 organization = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}