An assistant for reading Nqthm proof output (1992)

by Matt Kaufmann
Citations:6 - 3 self