Dependently Typed Programming Based on Automated Theorem Proving

DOI10.1007/978-3-642-31113-0_12zbMath1358.68056arXiv1112.3833OpenAlexW1861293286MaRDI QIDQ2908568

Simon Foster, Alasdair Armstrong, Georg Struth

Publication date: 5 September 2012

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

Full work available at URL: https://arxiv.org/abs/1112.3833

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Isabelle/HOL
• Haskell
• TPTP
• Metis_
• Mizar
• Proof General
• Nuprl
• Epigram
• Mella
• Agda
• Waldmeister

This page was built for publication: Dependently Typed Programming Based on Automated Theorem Proving