Formalization of mathematical texts

Potential supervisors: 
Description: 

Using GF to translate between natural language and formal mathematics could be the base of a MSc project.

Some background: http://www.grammaticalframework.org/~aarne/gf-hott/

Date range: 
September, 2015 to June, 2021