Procedural representation of CIC proof terms
From MaRDI portal
Publication:2655331
DOI10.1007/s10817-009-9137-6zbMath1185.68622OpenAlexW2100997280MaRDI QIDQ2655331
Publication date: 25 January 2010
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-009-9137-6
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Mathematical knowledge management in HELM
- A modern perspective on type theory. From its origins until today
- User interaction with the Matita proof assistant
- Procedural representation of CIC proof terms
- The formal system λδ
- Mathematical Knowledge Management