eshelyaronbdd

Binary Decision Diagrams in Lean 4
Displaying 1-1 of 1 versions of bdd
Sort by
  1. Not a part of any version track.
    60d3b54
    a month ago
    Released on June 16, 2025 at 6:38:02AM
    Commit 60d3b54 builds on its recent leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    10.3 MB Build archive size: 10291568 bytes.