Topic: "universal-quantifiers"
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: over 7 years ago - Stars: 2 - Forks: 0
formulae-org/package-logic-js
Logic package for Fōrmulæ, in JavaScript
Language: JavaScript - Size: 70.3 KB - Last synced at: 30 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
Related Topics