Keyword:informal proof

Papers
Assimilating the Structure of Formal and Informal Proof Kensho Tsurusaki and Akiko Aizawa EasyChair Preprint no. 6267