adomani

adomani's Stars

• adomani/MA4N1_2023

  MA4N1 Theorem Proving with Lean

  Language:Lean64

• lftcm2023/lftcm2023_source

  Exercises for the LftCM2023 workshop

  Language:Lean3

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.4k308

• leanprover-community/lean4-metaprogramming-book

  Language:Lean21151

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k299

• leanprover-community/lean-liquid

  💧 Liquid Tensor Experiment

  Language:Lean17013

• leanprover/elan

  The Lean version manager

  Language:Rust29734