Skip to content

Fix typo in methods/proofs/inference-patterns. - #438

Merged
rzach merged 1 commit into
OpenLogicProject:masterfrom
beastaugh:typo
Nov 14, 2026
Merged

Fix typo in methods/proofs/inference-patterns.#438
rzach merged 1 commit into
OpenLogicProject:masterfrom
beastaugh:typo

Commits

  1. Commits on Oct 31, 2026