universal-quantifiers

There are 0 repository under universal-quantifiers topic.

profbrandon / typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
type-system universal-quantifiers simply-typed-lambda-calculus parametric-polymorphism typechecker system-f pattern-matching
Language:Haskell 2
formulae-org / package-logic-js
Logic package for Fōrmulæ, in JavaScript
formulae javascript logic conditional conjunction disjunction equivalence negation predicate-logic predicates universal-quantifiers exclusive-disjunction existential-quantifier
Language:JavaScript 1