Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Globular: an online proof assistant for higher−dimensional rewriting

Globular: an online proof assistant for higher−dimensional rewriting

Krzysztof Bar‚ Aleks Kissinger and Jamie Vicary

Book Title
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD)
Year
2016

Links

See Also

Back to Top