Theories as types

DOI10.1007/978-3-319-94205-6_38OpenAlexW2810660572MaRDI QIDQ1799118

Michael Kohlhase, Florian Rabe, Dennis Müller

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_38

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mathematical knowledge management (68V30)

Related Items (4)

Structuring theories with implicit morphisms ⋮ Extracting theory graphs from Aldor libraries ⋮ Injecting formal mathematics into LaTeX ⋮ Experiences from exporting major proof assistant libraries

Uses Software

• Coq
• Isabelle/Isar
• PVS
• Mizar
• HOL Light
• FoCaLiZe
• OpenDreamKit
• Idris

This page was built for publication: Theories as types