GitHub repository: shnarazk/DDiL
Primary language: Lean
Created: 2025-02-23T02:29:39Z
Description: BDD and ZDD in Lean4