, Lemma1, UK, United Kingdom

• Journal of Formalized Reasoning 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