QuaNThoR

QuaNThoR identity
QuaNThoRpublic-pre-alpha · local-app · version pre-alpha

Un assistant de formalisation qui transforme des affirmations mathematiques informelles en structures revisables.

Statut public

  • Execution: local-app

  • Disponibilite: verified

  • Licence: LicenseRef-SEL-2.0

  • Version: pre-alpha

Open technical surface Source Issues

Interfaces

  • Local proof editor

  • POST /verify

  • POST /route

  • POST /draft

  • Optional HippoRAG retrieval

Important

L’aide a la formalisation n’etablit pas un theoreme tant qu’une preuve acceptee et une revue qualifiee n’existent pas.