Reference. Teaching mathematics using lean and controlled natural language [massot2024teaching]
✍️source

  • 2024
  • Patrick Massot
@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}
}