Formalization lead at @harmonic-ai
-
Harmonic AI
- Palo Alto
- @yury_kudryashov
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 Loading
-
flypitch
flypitch PublicForked from flypitch/flypitch
A formal proof of the independence of the continuum hypothesis
Lean 1
-
-
mathlib
mathlib PublicForked from leanprover-community/mathlib3
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.