Popular repositories Loading

1. f1-lap-prediction f1-lap-prediction Public

   Formula 1 Lap-Time & Pit-Stop Prediction with FastF1 and Machine Learning

   Jupyter Notebook 1

2. Project_qec_lean Project_qec_lean Public

   Formal verification of the CSS code–chain complex correspondence over F₂, in Lean 4 + Mathlib.

   Lean 1

3. Lean-QuantumInfo Lean-QuantumInfo Public

   Forked from Timeroot/Lean-QuantumInfo

   Quantum information theory in Lean 4

   Lean

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean