Importing Isabelle formal mathematics into Nuprl (1999)

by Pavel Naumov
Venue:The 12th International Conference on Theorem Proving in Higher Order Logics, supplemental proceedings