Popular repositories Loading

1. MA4N1_Theorem_proving_with_Lean MA4N1_Theorem_proving_with_Lean Public

   MA4N1 Theorem Proving with Lean

   Lean 16 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. PR_summary PR_summary Public

   Post a summary of PRs as comment

   1