# * Review of Theorem Provers Outside Cornell part 1 *

## by Aleksey Nogin

2001-2002

The goal of this seminar will be to pull together what we know about theorem provers outside Cornell and how they compare to NuPRL and MetaPRL. I will present what I know about several provers and hopefully some of you will help to fill in the gaps.

Slides