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