authors
- Farmer, William Michael
- Asperti, Andrea
- Maietti, Maria Emilia
- Coen, Claudio Sacerdoti
- Sambin, Giovanni
- Valentini, Silvio
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.
Conferences
- Overview
- Identity
- Additional Document Info
- View All