Pinned Repositories
personal-webpage
Personal website of Brandon Doherty
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
UniMath2017-CategoryTheory
Category theory group projects at UniMath workshop, Birmingham, Dec 2017
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
bcldoherty's Repositories
bcldoherty/personal-webpage
Personal website of Brandon Doherty
bcldoherty/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.