TauCetiProjectTauCeti

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Displaying 1-2 of 2 packages depending on TauCetiProject/TauCeti
Sort by

  1. thefundamentaltheor3m/SphereCetiuses8671bee

  2. TauCetiProject/TauCetiRoadmapusesbe0b30f

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