Popular repositories Loading

1. MA4N1_Theorem_proving_with_Lean MA4N1_Theorem_proving_with_Lean Public

   MA4N1 Theorem Proving with Lean

   Lean 13 5

2. Atelier_Lean_2023 Atelier_Lean_2023 Public

   Lean 3

3. advents advents Public

   Advent of Code

   Lean 3

4. UpdateDeprecations UpdateDeprecations Public

   Lean 3

5. regex-deriv-lean regex-deriv-lean Public

   Forked from katydid/regex-deriv-lean

   Proofs written in Lean4 for the core katydid validation algorithm

   Lean 1

6. lftcm2020 lftcm2020 Public

   Forked from leanprover-community/lftcm2020

   Lean for the Curious Mathematician 2020

   CSS