https://9dok.net/document/y8g5rkj4-proof-checking-mathematical-texts-in-controlled-natural-language.html