GitHub topics: universal-quantifiers
formulae-org/package-logic-js
Logic package for Fōrmulæ, in JavaScript
Language: JavaScript - Size: 70.3 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
Language: Haskell - Size: 29.5 MB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
Related Keywords
universal-quantifiers
2
typechecker
1
type-system
1
system-f
1
simply-typed-lambda-calculus
1
pattern-matching
1
parametric-polymorphism
1
predicates
1
predicate-logic
1
negation
1
logic
1
javascript
1
formulae
1
existential-quantifier
1
exclusive-disjunction
1
equivalence
1
disjunction
1
conjunction
1
conditional
1