Fast Tactic-based Theorem Proving (2000)

by Jason Hickey , Aleksey Nogin
Venue:TPHOLs 2000, LNCS 1869
Citations:9 - 4 self

Document Versions

Fast Tactic-based Theorem Proving –Jason Hickey, Aleksey Nogin — 2000 — TPHOLs 2000, LNCS 1869
Fast Tactic-based Theorem Proving –Jason Hickey, Aleksey Nogin — TPHOLs 2000, LNCS 1869
Fast Tactic-based Theorem Proving –Jason Hickey, Aleksey Nogin — 2000 — TPHOLs 2000, LNCS 1869
Fast tactic-based theorem proving –Jason Hickey, Aleksey Nogin — 2000 — TPHOLS 2000, LNCS 1869
Fast tactic-based theorem proving –Jason Hickey, Aleksey Nogin — 2000 — TPHOLs 2000, LNCS 1869