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 288 139

2. TauCetiRoadmap TauCetiRoadmap Public

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

   Lean 56 68

3. TauCetiReview TauCetiReview Public

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

   Python 10 15

4. TauCetiWorker TauCetiWorker Public

   Python 8 15

5. TauCetiTools TauCetiTools Public

   Shared configuration, CI and administration for Tau Ceti projects

   Python 3 6

6. TauCetiRoadmapJobs TauCetiRoadmapJobs Public

   Job board for TauCetiRoadmapWorker: one issue per roadmap-planning job; packages and reviews live here until a draft PR opens on TauCetiRoadmap

   Lean 3 3