April 22, 2026

theorem proving