Biform theories: project description

DOI10.1007/978-3-319-96812-4_7zbMath1417.68203arXiv1805.02709OpenAlexW2802556595MaRDI QIDQ1798949

William M. Farmer, Jacques Carette, Yasmine Sharoda

Publication date: 18 October 2018

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• Maple
• HOL Light
• Agda
• Hakaru
• MathScheme
• Lean
• Idris

This page was built for publication: Biform theories: project description