GitHub repository: Azumabashi/nim-propositional-logic
Primary language: Nim
Created: 2023-08-06T06:45:20Z
Description: Propositional logic library for Nim.