|
Organizers |
Formal proofs in low-dimensional topology
by
Jamie Vicary
University of Oxford
We introduce a new tool, the proof assistant Globular, for the formalization and development of Morse-theoretic proofs in low-dimensional topology, of the sort that Scott Carter has developed so beautifully throughout his career.
Date received: September 22, 2016
Copyright © 2016 by the author(s). The author(s) of this work and the organizers of the conference have granted their consent to include this abstract in Topology Atlas. Document # cbnq-11.