Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

gitlab.com topics: Functional Decision Diagram

boreal-ldd/coq-ldd

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

Last synced at: about 2 years ago - Stars: 0 - Forks: 0

Related Keywords
Binary Decision Diagram 1 Boolean Function 1 Coq 1 Formal Verification 1 Functional Decision Diagram 1 Lambda Decision Diagram 1