Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

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