The English introduction is being prepared.
mathlas
Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.
SuperAPI AI DirectorySuperAPI AI DirectoryMath tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.
The English introduction is being prepared.
