Automatische Formalisierung von Mathematik

Iniciar sesión

Información - Automatische Formalisierung von Mathematik

Formalisierung mathematischer Aussagen aus einem Lehrbuch mit GFLean

GFLean kann 42 von 62 Aussagen aus Kapitel 3 des Lehrbuchs "Mathematical Proofs" formalisieren.

1

Acerca de

Términos y Privacidad
Contáctanos

Productos

Extensión de navegador Research Copilot
Herramientas de investigación
Resumidor de PDF
Resumidor de PPT
Resumidor de documentos
Resumidor de artículos de investigación
Traductor de PPT
Traductor de PDF
Traductor de documentos
Traductor de artículos de investigación

Recursos

Aceleración de la investigación
Información sobre la investigación
Precios

© 2024 by Linnk AI