TauCetiProject

Popular repositories Loading

1. TauCeti TauCeti Public

   An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

   Lean 270 122

2. TauCetiRoadmap TauCetiRoadmap Public

   Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.

   Lean 51 62

3. TauCetiReview TauCetiReview Public

   Review rubrics and machinery for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.

   Python 7 14

4. TauCetiWorker TauCetiWorker Public

   Python 7 14

5. TauCetiData TauCetiData Public

   Durable archive and evaluation data for Tau Ceti AI code reviews

   Python 2

6. TauCetiTools TauCetiTools Public

   Shared configuration, CI and administration for Tau Ceti projects

   Python 2 5