Block or Report
Block or report lane-core
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
TypeTopology
TypeTopology PublicForked from martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Agda
-
LaneProofs
LaneProofs PublicA repository for proofs I'm working on I feel prepared to share for comment
Agda
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.