On extensibility of proof checkers (1995)

by R Pollack
Venue:Types for Proofs and Programs