Timeline for Looking for a collection of entry level proofs
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 8, 2018 at 13:48 | comment | added | Marcos Cramer | I did my PhD in the Naproche project. For those interested in doing linguistic analysis of mathematical texts, I can recommend the PhD thesis of Mohan Ganesalingam, my own PhD thesis (icr.uni.lu/mcramer/downloads/doktor.pdf) and my paper "The Naproche system: Proof-checking mathematical texts in controlled natural language" (icr.uni.lu/mcramer/downloads/SDV.pdf). | |
| Oct 24, 2010 at 2:26 | history | answered | Kevin O'Bryant | CC BY-SA 2.5 |