Highlights
- Pro
Popular repositories Loading
-
-
vct-erdos-project
vct-erdos-project PublicForked from ahrlim/vct-erdos-project
Spring 2024 Erdos Institute team project on Valorant professional match data.
Jupyter Notebook
-
Erdos-AU2024-CarSalesPricePrediction
Erdos-AU2024-CarSalesPricePrediction PublicErdos Institute Data Science project on car sales price prediction
Jupyter Notebook
-
Uniqueness_of_Lifting
Uniqueness_of_Lifting PublicFormalization of Uniqueness for Homotopy Lifting Property in Lean4
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.