TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
1-1 of 1 packages depending on TauCetiProject/TauCeti
Sort by
Package Name
thefundamentaltheor3m/SphereCetiuses
8671bee