adomani/MA4N1_Theorem_proving_with_Lean

MA4N1 Theorem Proving with Lean

GitHub repository with 19 stars and 5 forks.

Language: Lean

Topics: lean4

Open provider repository