AI4MATH

AI4MATH contiene 1 skills recopiladas de Chi-Shan0707, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

skills recopiladas

Stars

actualizado

2026-01-19

Forks

Cobertura ocupacional

1 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.