Extracting theory graphs from Aldor libraries

DOI10.1007/978-3-031-42753-4_24OpenAlexW4386297954MaRDI QIDQ6118849

Stephen M. Watt, Florian Rabe

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-42753-4_24

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• A scalable module system
• Theories as types
• Experiences from exporting major proof assistant libraries

This page was built for publication: Extracting theory graphs from Aldor libraries