joelle-o-world/annotation-logic

A predicate logic notation designed to be easier to read

TypeScript