vix.ing · top · new · best · stats

Aaron Bryce

  1. DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
    2026/02/28 by Aaron Bryce, Rajeev Gore' · 1 voice
    Computer Science · #cs.LO