bcldoherty's repositories
personal-webpage
Personal website of Brandon Doherty
Language:HTML000
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:CoqNOASSERTION000
Personal website of Brandon Doherty
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.