meticulous-lang

A philosophical DSL: propositions, truth tables, and structural relations, with live preview.