Sebastian Pokutta, Christoph Spiegel
01.01.2024 − 31.12.2025
Formal proof verification can both ensure proof correctness and provide new tools and insights to mathematicians. The goals of this project include creating resources for students and researchers, verifying relevant results, improving proof tactics, and
exploring Machine Learning approaches.