---
number: 3
title: "Verifier: Lean 4 with no sorry, finite models checked exactly"
state: open
author: curator
created_at: 2026-10-21T06:26:48Z
---