概要
概要
研究
リーダーシップ
メディア
製品
コミュニティ
概要
ブログ
Essential Cardano
Catalyst
採用情報
お問い合わせ
English
日本語
日本語
IOHK |
ライブラリー
概要
ライブラリー
ライブラリー
>
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