Popular repositories Loading
-
-
-
-
lean4_workshop_26winter
lean4_workshop_26winter PublicForked from ronggexu/lean4_workshop_26winter
This workshop introduces students to Lean 4, focusing on formalizing mathematical problems.
Lean
-
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.