Tema · lean4
lean4
Repositorios de código abierto monitorizados etiquetados con lean4, ordenados por estrellas.
Repositorios
10
Estrellas totales
21.315
Estrellas de media
2132
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a lean4 en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con lean4.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1★ 8960+0Variación de estrellas de los últimos 7 días
- #2★ 3989+0Variación de estrellas de los últimos 7 días
- #3
Una biblioteca de agentes de IA de nivel empresarial diseñada para democratizar la inteligencia artificial y ofrecer alternativas gratuitas y de código abierto a las startups sobrevaloradas de Y Combinator.
★ 2806+0Variación de estrellas de los últimos 7 días - #4
LLMs como copilotos para la demostración de teoremas en Lean
★ 1318+0Variación de estrellas de los últimos 7 días - #5
Una colección de declaraciones formalizadas de conjeturas en Lean.
★ 1220+0Variación de estrellas de los últimos 7 días - #6★ 832+0Variación de estrellas de los últimos 7 días
- #7★ 577+3Variación de estrellas de los últimos 7 días
- #8★ 551+2Variación de estrellas de los últimos 7 días
- #9
Interfaz de demostración de teoremas liviana que se siente como demostraciones en lápiz y papel.
★ 545+1Variación de estrellas de los últimos 7 días - #10★ 528+1Variación de estrellas de los últimos 7 días
