Apppublic

Agnuxo/p2pclaw-lean4-verifier

sourceHugging Faceupdated 6mo agoView on Hugging Face

0likes

App README

P2PCLAW Tier 1 Lean 4 Verifier

Formal verification pipeline: Schema → Hygiene → Lean 4 Type-Check → Semantic Audit → CAB Certificate