Metadata
| Item Type: | Other |
|---|---|
| Authors/Creators: |
|
| Copyright, Publisher and Additional Information: | © 2024 The Author(s). |
| Keywords: | Mathematics; Topology; Proof |
| Dates: |
|
| Institution: | The University of Sheffield |
| Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
| Depositing User: | Symplectic Sheffield |
| Date Deposited: | 15 Aug 2024 14:18 |
| Last Modified: | 15 Aug 2024 14:21 |
| Published Version: | https://devel.isa-afp.org/entries/Stone_Cech.html |
| Status: | Published |
| Publisher: | Archive of Formal Proofs |
| Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:216112 |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)