Search
❯
13 May 20261 min read
Logic where you go from conclusion to proof Relates to Proof Theoretic Semantics