pmat 3.24.2

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)

1
2

-- Root module for pmat's machine-checked provable-contract theorems (L5).
import Theorems.Macs.Ladder