oOo0oOoparanoia0.1.0

Lean 4 proof verification without reference
Displaying 1-1 of 1 versions of paranoia
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    7 months ago
    Released on November 27, 2025 at 10:50:34AM
    Commit 11c2385 builds on its old leanprover/lean4:v4.25.0
    v4.25.0
    59.5 MB Build archive size: 59496366 bytes.