no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
ACL2s: “The ACL2 Sedan”
|
Dillinger, Peter C. |
|
2007 |
174 |
2 |
p. 3-18 16 p. |
article |
2 |
An Interactive Derivation Viewer
|
Trac, Steven |
|
2007 |
174 |
2 |
p. 109-123 15 p. |
article |
3 |
Enhancing Theorem Prover Interfaces with Program Slice Information
|
Dennis, Louise A. |
|
2007 |
174 |
2 |
p. 19-33 15 p. |
article |
4 |
GeoThms — a Web System for Euclidean Constructive Geometry
|
Quaresma, Pedro |
|
2007 |
174 |
2 |
p. 35-48 14 p. |
article |
5 |
PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
|
Wagner, Marc |
|
2007 |
174 |
2 |
p. 87-107 21 p. |
article |
6 |
Preface
|
Autexier, Serge |
|
2007 |
174 |
2 |
p. 1-2 2 p. |
article |
7 |
Presenting and Explaining Mizar
|
Urban, Josef |
|
2007 |
174 |
2 |
p. 63-74 12 p. |
article |
8 |
Tinycals: Step by Step Tacticals
|
Coen, Claudio Sacerdoti |
|
2007 |
174 |
2 |
p. 125-142 18 p. |
article |
9 |
Tool Support for Proof Engineering
|
Mulhern, Anne |
|
2007 |
174 |
2 |
p. 75-86 12 p. |
article |
10 |
Web Interfaces for Proof Assistants
|
Kaliszyk, Cezary |
|
2007 |
174 |
2 |
p. 49-61 13 p. |
article |