Florath, A. (2024). Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code.
Chicago-Zitierstil (17. Ausg.)Florath, Andreas. Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code. 2024.
MLA-Zitierstil (9. Ausg.)Florath, Andreas. Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.