Read Matcha legal-reasoning code as default logic: a syntax checker, a Reiter/prioritized extension solver with Lean certificates, and a Claude Code skill for neuro-symbolic argument review.
argumentation formal-verification knowledge-representation matcha computational-law legal-reasoning neuro-symbolic default-logic argument-analysis non-monotonic-inference argumentation-analysis
-
Updated
Nov 3, 2026 - Python