@TechReport{BeckertGieseEA2004tr,
author = {Bernhard Beckert and Martin Giese and Elmar Habermalz and
Reiner Hähnle and Andreas Roth and Philipp Rümmer and
Steffen Schlager},
title = {Taclets: A New Paradigm for Constructing Interactive
Theorem Provers},
institution = {Department of Computer Science, University of Koblenz},
volume = {Technical Reports in Computer Science
(Fachberichte Informatik)},
number = {9-2004},
year = {2004}
}
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
| Author(s): | Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, and Steffen Schlager |
|---|---|
| Institution: | Department of Computer Science, University of Koblenz |
| Number: | 9-2004 |
| Volume: | Technical Reports in Computer Science (Fachberichte Informatik) |
| Year: | 2004 |