fregejs

Version:

A propositional logic library written in Typescript

4 lines (2 loc) • 130 B

text/typescript

import { PropositionalVariable } from '../operations/propositional-variable'; export type AtomicFormula = PropositionalVariable;