Author:
Kharim Aabid Seeyal Abdul,Prathamesh T. V. H.,Rajiv Shweta,Vyas Rishi
Publisher
Springer Nature Switzerland
Reference17 articles.
1. Aransay, J., et al.: The Isabelle/HOL Algebra Library (2022). https://isabelle.in.tum.de/library/HOL/HOL-Algebra/. Accessed 11 June 2023
2. Baer, R., Levi, F.: Freie Produkte und ihre Untergruppen. Compos. Math. 3, 391–398 (1936)
3. Bapanapally, J., Gamboa, R.: A complete, mechanically-verified proof of the Banach-Tarski theorem in ACL2(R). In: Andronick, J., de Moura, L. (eds.) 13th International Conference on Interactive Theorem Proving (ITP 2022). Leibniz International Proceedings in Informatics (LIPIcs), vol. 237, pp. 5:1–5:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2022). https://doi.org/10.4230/LIPIcs.ITP.2022.5. https://drops.dagstuhl.de/opus/volltexte/2022/16714
4. Breitner, J.: Free groups. Archive of Formal Proofs (2010). https://isa-afp.org/entries/Free-Groups.html. Formal proof development
5. Dehn, M.: Über unendliche diskontinuierliche Gruppen. Math. Ann. 71(1), 116–144 (1911)