GitHub repository: vicramgon/logicus
Primary language: Elm
Created: 2021-04-15T17:10:38Z
Description: Elm packages for working with Propositional and First Order Logic algorithms