207
click to vote
JAPLL
2006
15 years 3 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition