- Groningen
Block or Report
Block or report co-dan
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
BI-cutelim
BI-cutelim PublicCut elimination for the logic of Bunched Implications (BI), and some extensions.
-
UniMath/UniMath
UniMath/UniMath PublicThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.