Tema · standard-model
standard-model
Repositorios de código abierto monitorizados etiquetados con standard-model, ordenados por estrellas.
Repositorios
1
Estrellas totales
714
Estrellas de media
714
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a standard-model en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con standard-model.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Investigación abierta sobre la consistencia del observador finito en física: teoremas y lemas verificados en Lean, simulaciones reproducibles, contraejemplos explícitos y puentes físicos abiertos claramente rastreados.
★ 717+11Variación de estrellas de los últimos 7 días
