No results found

bdd

Binary Decision Diagrams in Lean 4
Sort by
  1. Registry dependency.
    Found on Reservoir.

    batteries233a67f

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Registry dependency.
    Found on Reservoir.

    mathlib6ea68a8

    The math library of Lean 4