GitHub repository: ndrein/effloresce
Primary language: Python
Created: 2016-04-25T15:56:48Z
Description: Propositional logic