Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with logical-foundations

A curated list of projects in awesome lists tagged with logical-foundations .

https://github.com/mehrab-kalantari/cnf-dnf-convertor

Java code to convert every logical formula to conjunctive normal form and disjunctive normal form

java logic logical-forms logical-formulas logical-foundations

Last synced: 15 Nov 2024