In diesem Projekt wird eine Web 3.0-Plattform für formale Beweise entwickelt und die Nützlichkeit der Plattform für die praktische Beweisformalisierung demonstriert. Die Plattform wird KI-Tools für die Formalisierung und Blockchain-basierte Token kombinieren, um einen zentralen Knotenpunkt für formale Mathematik im Web zu schaffen. Die vorgeschlagenen Arbeiten umfassen die Entwicklung von Übersetzungen für verschiedene Logiken, Verbindungen zu bestimmten Beweisassistenten, die Entwicklung eines Blockchain-Explorers, der formale Beweise unterstützt, die Schaffung von bequemen Benutzer- und Batch-Schnittstellen und die Untersuchung der Sicherheit der Protokolle.
Weitere Informationen über das Projekt finden Sie auf der Website Projekt-Website.