universal-quantifiers

There are 2 repositories under universal-quantifiers topic.

profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
Language:Haskell2 0 00
formulae-org/package-logic-js
Logic package for Fōrmulæ, in JavaScript
Language:JavaScript1 1 0