Designing Globular: formal proofs as geometrical objects
Author: Jamie Vicary
Paper Information
| Title: | Designing Globular: formal proofs as geometrical objects |
| Authors: | Jamie Vicary |
| Proceedings: | UITP Full Papers |
| Editors: | Mateja Jamnik and Christoph Lüth |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Paper: |  |