SorryDBLeanUtils0.1.0

Lean scripts for indexing sorries and verifying proofs
Displaying 1-1 of 1 versions of LeanUtils
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    7 months ago
    Released on November 27, 2025 at 2:30:31PM
    Commit 64e319a builds on its old leanprover/lean4:v4.17.0
    v4.17.0
    73.1 MB Build archive size: 73101782 bytes.