350 search results - page 1 / 70 » Mathematical Proofs at a Crossroad |
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
CROSSROADS
2010
13 years 2 months ago
2010
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
JAPLL
2006
13 years 4 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...