TauCetiProject

1 tracked repository

☆ 202 TOTAL STARS ⑂ 77 TOTAL FORKS ↗ +2 STARS TODAY

★ Add Profile Badge to your GitHub README.md

Auto-Updating

Showcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.

Markdown (Paste into your GitHub Profile README.md)

[![TauCetiProject Stars on GitHubRepo](https://githubrepo.cloud/badge/dev/TauCetiProject.svg)](https://githubrepo.cloud/developers/TauCetiProject)

[![TauCetiProject Stars on GitHubRepo](https://githubrepo.cloud/badge/dev/TauCetiProject.svg)](https://githubrepo.cloud/developers/TauCetiProject)

Sorted by stars

#1 TRENDING TauCetiProject/TauCeti Lean NEW 2026

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

77 ↑ +1 today

From our network