TauCetiProjectTauCetiRoadmap

Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.
Sort by
  1. Git dependency.
    Found on Reservoir.

    TauCetibe0b30f

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