LORI LORIGO | Publications / Talks |
S. Allen, M. Bickford, R. Constable, R. Eaton, C. Kreitz, L. Lorigo, FDL: A Prototype Formal Digital Library, Reference Manual; Cornell University, May 2002 |
S. Schmitt, L. Lorigo, C. Kreitz, A. Nogin, Jprover: Integrating Connection-based Theorem Proving into Interactive Proof Assistants; International Joint Conference on Automated Reasoning, Sienna, Italy, 2001 (PDF) |
S.
Allen, R. Constable, R. Eaton, C. Kreitz, L. Lorigo, The
Nuprl Logical Programming Environment; International Conference on
Automated Deduction (CADE-17) Pittsburgh, PA, 2000 (PDF)
|
L.
Lorigo, C. Kreitz, R. Constable, An
Open Logical Programming Environment; DARPA, Program Composition of
Embedded Systems (PCES), Colorado Springs, CO, 2000, slide presentation
(HTML)
|
L.
Lorigo, Building
Proofs in Parallel: A Collaborative Tutorial for the Nuprl Logical Programming
Environment; Cornell University, 2001(PS)
|
L.
Lorigo, Precis
of the Nuprl Proof Development System;
INRIA,
Nice, France, 1998, slide presentation (HTML)
|
Lori Lorigo, Department of Computer Science, Cornell University. lolorigo@cs.cornell.edu. May 2002.