C

coq-ldd

Project information

A Formalization of Lambda Decision Diagram (LDD) in Coq.

Boolean Func... Lambda Decis... Functional D... Formal Verif... Coq Binary Decis...

15 Commits
14 Branches
0 Tags

README

Created on

September 12, 2020

Loading