Etec-SA / frege

A propositional logic library.
14Updated 4 months ago

Related projects: