ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Licencia y mantenimiento
Apache-2.0 es una licencia permisiva: uso comercial libre con atribución.
Último cambio de código hace 2 días.
Proyectos similares
| Repositorio | Estrellas | Actividad | |
|---|---|---|---|
| 1 |  996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers. | ★ 277.2k | Sin cambios |
| 2 |  torvalds/linuxLinux kernel source tree | ★ 252.4k | Activo |
| 3 |  jackfrued/Python-100-DaysPython - 100天从新手到大师 | ★ 187.3k | Activo |
| 4 |  airbnb/javascriptJavaScript Style Guide | ★ 148.1k | Menos activo |
| 5 |  iptv-org/iptvCollection of publicly available IPTV channels from all over the world | ★ 141.3k | Activo |
| 6 |  ruanyf/weekly科技爱好者周刊，每周五发布 | ★ 106.4k | Activo |
| 7 |  deepseek-ai/DeepSeek-V3 | ★ 104.5k | Sin cambios |
| 8 |  Anduin2017/HowToCookProgrammer's guide about how to cook at home. | ★ 102.9k | Activo |