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

### Cached

### Download Links

by
Gertrud Bauer
,
Markus Wenzel

Venue: | TYPES FOR PROOFS AND PROGRAMS: TYPES’99, LNCS |

Citations: | 7 - 4 self |