hargoniXleanwuzla0.1.0

Connecting bv_decide to SMTLIB.
Displaying 1-1 of 1 versions of leanwuzla
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    5 days ago
    Released on September 27, 2026 at 11:10:21AM
    Commit 9fdd5fa builds on its old leanprover/lean4:nightly-2026-09-27
    nightly-2026-09-27
    61.4 MB Build archive size: 61377554 bytes.