Skip to main content
PRL Project

Review of Theorem Provers Outside Cornell part 1

by Aleksey Nogin

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.