Block or Report
Block or report urkud
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
flypitch
flypitch PublicForked from flypitch/flypitch
A formal proof of the independence of the continuum hypothesis
Lean 1
-
-
mathlib
mathlib PublicForked from leanprover-community/mathlib
Lean mathematical components library
Lean
-
-
calculus-notebooks
calculus-notebooks PublicJupyter notebooks about basic calculus topic
Jupyter Notebook
-
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.