gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Instalar
Paquetes ejecutables
No se incluye ningún paquete compatible ni punto de conexión remoto en el registro actual del Registry.
Qué puede hacer
Inventario de herramientas
No se ha registrado ninguna enumeración de herramientas publicable.
Comunidad
Evidencia
Observaciones recientes
Este servidor tiene metadatos del Registry pero aún no tiene ninguna ejecución de verificación pública.