Journal of Formalized Reasoning

Lin, YuHui, Heriot-Watt University, UK, United Kingdom

• Vol 9, No 2 (2016) - Articles
  Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
  Abstract  PDF (English)