HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Kensho Tsurusaki

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

Keyphrases

formal proof, informal proof, natural language, structure.

Copyright © 2012-2025 easychair.org. All rights reserved.