Search
Education · By facebookresearch
1 skill found.
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Judge an Autoform mathematical roadmap or Lean formalization with explicit, evidence-based rubrics. | facebookresearch/ | 117 | — | ~859 | Automated safety check: Pass | MIT | today |
