MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics (2006)

by J Urban
Venue:Journal of Applied Logic