Computer-Assisted Mathematics at Work -- The Hahn-Banach Theorem in Isabelle/Isar (2000)

by Gertrud Bauer , Markus Wenzel
Venue:TYPES FOR PROOFS AND PROGRAMS: TYPES’99, LNCS
Citations:7 - 4 self

Document Versions

Computer-Assisted Mathematics at Work -- The Hahn-Banach Theorem in Isabelle/Isar –Gertrud Bauer, Markus Wenzel — 2000 — TYPES FOR PROOFS AND PROGRAMS: TYPES’99, LNCS