Tema · proofs
proofs
Repositorios de código abierto monitorizados etiquetados con proofs, ordenados por estrellas.
Repositorios
3
Estrellas totales
3413
Estrellas de media
1138
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a proofs en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con proofs.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Código ejecutable para resolver problemas de Project Euler en Java, Python, Mathematica, Haskell.
★ 1959-1Variación de estrellas de los últimos 7 días - #2★ 948+17Variación de estrellas de los últimos 7 días
- #3
KaRaMeL es una herramienta para extraer programas F* de bajo nivel a código C legible
★ 518+0Variación de estrellas de los últimos 7 días
