Proof-theoretic semantics (source code)

= Proof-theoretic semantics
{wiki=Proof-theoretic_semantics}