Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
From MaRDI portal
Publication:2462639
DOI10.1007/s10817-007-9072-3zbMath1129.68499MaRDI QIDQ2462639
William Billingsley, Peter Robinson
Publication date: 3 December 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-007-9072-3
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Isabelle/HOL. A proof assistant for higher-order logic
- SOPHIE: A Step toward creating a reactive learning environment
- How to Write a Proof
- Types for Proofs and Programs