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