Popular repositories Loading

1. DashedMonoids DashedMonoids Public

   Formalization of a new data structure: Dashed-Monoids

   Lean 4 1

2. ChessProver ChessProver Public

   Proof friendly chess engine

   Lean 2

3. ElementsOfGeometry ElementsOfGeometry Public

   Formalization of elements of (Euclidean) geometry in Lean4 using Mathlib4.

   Lean 1 1

4. vct-erdos-project vct-erdos-project Public

   Forked from ahrlim/vct-erdos-project

   Spring 2024 Erdos Institute team project on Valorant professional match data.

   Jupyter Notebook 1

5. Erdos-AU2024-CarSalesPricePrediction Erdos-AU2024-CarSalesPricePrediction Public

   Erdos Institute Data Science project on car sales price prediction

   Jupyter Notebook 1

6. Uniqueness_of_Lifting Uniqueness_of_Lifting Public

   Formalization of Uniqueness for Homotopy Lifting Property in Lean4

   Lean 1