Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: existential-quantifier

formulae-org/package-logic-js

Logic package for Fōrmulæ, in JavaScript

Language: JavaScript - Size: 70.3 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

Related Keywords
conditional 1 conjunction 1 disjunction 1 equivalence 1 exclusive-disjunction 1 existential-quantifier 1 formulae 1 javascript 1 logic 1 negation 1 predicate-logic 1 predicates 1 universal-quantifiers 1