An assistant for reading Nqthm proof output (1992)

by Matt Kaufmann
Citations:7 - 3 self