Search
GitHub · Weber-GeoML/Choir
1 skill found.
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Join Join a Choir formalization project as a contributor — set up this machine and start proving tasks (Lean 4, Isabelle, or Rocq) with your own agent on your own LLM account. | Weber-GeoML/ | 114 | — | ~522 | Automated safety check: Pass | Apache-2.0 | 10 days ago |
