What’s in a Theorem Name?

DOI10.1007/978-3-319-43144-4_28zbMath1478.68434OpenAlexW2409359688MaRDI QIDQ2829279

Cezary Kaliszyk, David Aspinall

Publication date: 27 October 2016

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/25410118/namespark_short_1.pdf

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Deep Generation of Coq Lemma Names Using Elaborated Terms ⋮ Aligning concepts across proof assistant libraries

Uses Software

• HOL
• kepler98

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Matching Concepts across HOL Libraries

This page was built for publication: What’s in a Theorem Name?