Filtrer

Clear Filter

Archivé Not Archived

Forked Not Forked

Mirrored Not Mirrored

Modèle Not Template

Privé Public

Trier

Plus récent Plus ancien Par ordre alphabétique Par ordre alphabétique inversé Mis à jour récemment Mis à jour jadis Favoris (décroissant) Favoris (croissant) Bifurcations (décroissant) Bifurcations (croissant) Plus petite taille Plus grande taille

DanilaFe/ agda-spa

Agda 0 0

Attempts at formalizing static program analysis techniques in Agda.

Actualisé 2025-04-20 19:13:45 -07:00

DanilaFe/ formal-interview

Agda 0 0

An Agda formalization of some of what we talked about during the Formal interview.

Actualisé 2024-09-24 18:46:42 -07:00