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...

+ 3 more

12 Commits
13 Branches
0 Tags

README

Created on

September 12, 2020

Copy SSH clone URLgit@gitlab.com:boreal-ldd/coq-ldd.git
Copy HTTPS clone URLhttps://gitlab.com/boreal-ldd/coq-ldd.git

Loading