An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
7 daysStars19224h gain-Score0.0
Search
Find trending repositories by name or description.
1 results for “tauceti”
RankRepository7 daysStars24h gainScore