bcldoherty

Pinned Repositories

personal-webpage
Personal website of Brandon Doherty
Language:HTML00
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq00
UniMath2017-CategoryTheory
Category theory group projects at UniMath workshop, Birmingham, Dec 2017
Language:Coq1 8 20
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq945 57 509171

bcldoherty/personal-webpage
Personal website of Brandon Doherty
Language:HTML00
bcldoherty/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq00