girafe-aiformalising-mathematics

Course on theorem proving with Lean
Displaying 1-1 of 1 versions of formalising-mathematics
Sort by
  1. Not a part of any version track.
    f3f2108
    3 months ago
    Released on May 2, 2025 at 8:02:31PM
    Commit f3f2108 fails to build on leanprover/lean4:v4.16.0
    v4.16.0