`Travelled to:`

1 × Italy

1 × USA

`Collaborated with:`

C.Kreitz S.Schmitt A.Nogin S.F.Allen R.L.Constable R.Eaton

`Talks about:`

interact (1) theorem (1) environ (1) connect (1) prover (1) integr (1) assist (1) prove (1) proof (1) nuprl (1)

## Person: Lori Lorigo

### DBLP: Lorigo:Lori

### Contributed to:

### Wrote 2 papers:

- IJCAR-2001-SchmittLKN #interactive #proving #theorem proving
- JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.
- CADE-2000-AllenCEKL #logic
- The Nuprl Open Logical Environment (SFA, RLC, RE, CK, LL), pp. 170–176.