About
Overview
Research
Leadership
Media
Products
Community
Overview
Blog
Essential Cardano
Catalyst
Careers
Contact
English
日本語
English
IOHK |
Library
About
Library
Research Topics
Library
>
Jagadish Bapanapally
Jagadish Bapanapally
A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R)
Jagadish Bapanapally,
Ruben Gamboa
August 2022, ITP '22