GitHub repository: Etec-SA/frege
Primary language: TypeScript
Created: 2023-07-11T22:02:13Z
Description: A propositional logic library.