Tema · rocq
rocq
Repositorios de código abierto monitorizados etiquetados con rocq, ordenados por estrellas.
Repositorios
4
Estrellas totales
3426
Estrellas de media
857
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a rocq en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con rocq.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Herramienta de verificación formal para Rust: comprueba el 100% de los casos de ejecución de tus programas para crear aplicaciones más seguras.
★ 1161+0Variación de estrellas de los últimos 7 días - #2
Esta biblioteca rocq tiene como objetivo formalizar un cuerpo sustancial de matemáticas utilizando el punto de vista univalente.
★ 1019+2Variación de estrellas de los últimos 7 días - #3★ 696+1Variación de estrellas de los últimos 7 días
- #4★ 550+1Variación de estrellas de los últimos 7 días
