digama0lean4lean

Lean 4 kernel / 'external checker' written in Lean 4
Displaying 1-1 of 1 versions of lean4lean
Sort by
  1. Not a part of any version track.
    ef849df
    12 hours ago
    Released on August 3, 2026 at 5:38:16AM
    Commit ef849df builds on its old leanprover/lean4:v4.31.0
    v4.31.0
    98.1 MB Build archive size: 98147111 bytes.