Tema · formal-mathematics
formal-mathematics
Repositorios de código abierto monitorizados etiquetados con formal-mathematics, ordenados por estrellas.
Repositorios
2
Estrellas totales
2538
Estrellas de media
1269
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a formal-mathematics en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con formal-mathematics.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
LLMs como copilotos para la demostración de teoremas en Lean
★ 1318+1Variación de estrellas de los últimos 7 días - #2
Una colección de declaraciones formalizadas de conjeturas en Lean.
★ 1220+13Variación de estrellas de los últimos 7 días
