Keyword:informal proof

Publications
Assimilating the Structure of Formal and Informal Proof Kensho Tsurusaki and Akiko Aizawa EasyChair Preprint 6267