No results found

mA4N1

MA4N1 Theorem Proving with Lean
Displaying 1-1 of 1 versions of mA4N1
Sort by
  1. Not a part of any version track.
    35ad7d5
    2 months ago
    Released on October 22, 2024 at 8:43:44PM
    Commit 35ad7d5 fails to build on leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1