Skip to main content
PRL Project

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