Some tools for computer-assisted theorem proving in Martin-Löf type theory (2001)

by Marcin Benke
Venue:TPHOLS | SUPPLEMENTAL PROCEEDINGS. UNIVERSITY OF EDINBURGH
Citations:1 - 1 self