pmat 3.30.0

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

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