Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

package.elm-lang.org namespaces: logicUSLIB

Packages

logicUSLIB/logicus-fol 2.0.1

Elm package for working with First Order Logic.
5 versions - Latest release: over 1 year ago - 0 stars on GitHub

logicUSLIB/logicus-pl 3.0.0

Elm package for working with Propositional Logic.
5 versions - Latest release: over 1 year ago - 1 dependent package - 0 stars on GitHub