Block or Report
Block or report Beanway144
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
fpv-final-project
fpv-final-project PublicEmbedding ZFC into Lean, and exploring cardinality. This is my final project for Formal Proof and Verification, Fall 2021.
Lean
-
mathlib4
mathlib4 PublicForked from leanprover-community/mathlib4
Work in progress mathlib port for lean 4
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.