Deferred Acceptance in Lean for Finite Strict Preference Markets
AI contributions · OpenAI Codex GPT-6.1, OpenAI Codex GPT-6-Luna (repository-reported formalization assistance)View details
Versions
Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.