A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R).

Jagadish Bapanapally Ruben Gamboa

Published in: ITP (2022)

Keyphrases

theorem prover
interactive theorem proving
theorem proving
information retrieval
feature selection
decision making
e learning
website
decision trees
natural language learning