32nd Labs

Current compute tier Proof runs can take 3–5 minutes. Keep this tab open to follow live progress.

Ask 32nd Labs a legal question.
It answers from the formalized statutes, formalizes the claim, and proves or refutes it with a theorem prover.

Forced answer — test a specific answer; a wrong one gets refuted

＋ forced answer Lean smt_prove · z3

loading…

Select a past run to replay it

select a file →

Pick a prompt or source file to inspect it.

Domain modules

Add a formalized law

Author a statute module. It writes the Lean file + registry row and syncs the retrieval index in Supabase. Base modules are the shared foundation; sections are retrievable per-question.

Module ID Kind Title Law reference Source URL NL summary (used by the retriever) Predicates (comma-sep) Depends on (comma-sep ids) Legal text (optional) Lean code

Approved Verify (compile Lean on save) Sync to Supabase

Add a formalized law

Tax Law Formalizer