Lean proof to search for US tax loopholes

A study examining how proof theory or formal verification methods can be used to find loopholes in US taxes.

Hacker News submitter: chaosmanage

Submitted to Hacker News: 2026-11-10