The logical structure of mathematical proof -- how first-order logic, natural deduction, and semantic reasoning combine to produce rigorous mathematical arguments. Covers the logical skeleton of direc
examples/skills/logic/mathematical-proof-logic/SKILL.md(main)