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.
    4102763
    4 days ago
    Released on February 18, 2026 at 6:39:40PM
    Commit 4102763 builds on its old leanprover/lean4:v4.27.0
    v4.27.0
    11.5 MB Build archive size: 11476711 bytes.