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