Bddl: a type system for binary decision diagrams. (English) Zbl 1514.68048
Kovács, Laura (ed.) et al., Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13361, 31-47 (2022).