The ALF proof editor (1993)

by Bengt Nordström
Venue:In Proceedings of the Workshop on Types for Proofs and Programs