TauCetiProject / REPOSITORY
TauCeti
AIs-welcome Lean library downstream of Mathlib
Developer toolsLicense unchecked
Original HN title; author claims are not independently verified.
1Top HN score
0Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE
What the community said