Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Inicia sesión para votar.
This listing is sourced from Archerkattri/mathlas. We index metadata only and have not executed or audited this code. Review the source before installing.
¿Eres el autor y quieres corregir algo de este listado, o pedir que lo quitemos? Escribe a autores@skillcat.es.