No results found

bdd

Binary Decision Diagrams in Lean 4
Displaying 1-1 of 1 versions of bdd
Sort by
  1. Not a part of any version track.
    780003a
    3 days ago
    Released on June 4, 2025 at 7:23:04PM
    Commit 780003a builds on its recent leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5
    10.9 MB Build archive size: 10937427 bytes.