Este sitio web requiere JavaScript.
Explorar
Ayuda
Iniciar sesión
Repositorios
Usuarios
Organizaciones
Código
Filtro
Clear Filter
Archivado
Not Archived
Forked
Not Forked
Mirrored
Not Mirrored
Plantilla
Not Template
Privado
Público
Ordenar
Más recientes
Más antiguas
Alfabéticamente
Invertir alfabéticamente
Actualizada recientemente
Actualizada menos recientemente
Mas estrellas
Menor número de estrellas
La mayoría de forks
Menor número de forks
Tamaño más pequeño
Tamaño más grande
DanilaFe
/
formal-interview
Agda
0
0
An Agda formalization of some of what we talked about during the Formal interview.
Actualizado
2024-09-24 18:46:42 -07:00
DanilaFe
/
agda-spa
Agda
0
0
Attempts at formalizing static program analysis techniques in Agda.
Actualizado
2025-04-20 19:13:45 -07:00