QuaNThoR
QuaNThoRpublic-pre-alpha · local-app · version pre-alpha
Un asistente de formalizacion que lleva afirmaciones matematicas informales hacia estructuras revisables.
Estado publico
Ejecucion:
local-appDisponibilidad:
verifiedLicencia:
LicenseRef-SEL-2.0Version:
pre-alpha
Interfaces
Local proof editor
POST /verify
POST /route
POST /draft
Optional HippoRAG retrieval
Importante
La ayuda a la formalizacion no establece un teorema hasta que exista una prueba aceptada y una revision cualificada.