Filter

Filter leeren

Archiviert Nicht archiviert

Fork Kein Fork

Gespiegelt Nicht gespiegelt

Template Kein Template

Privat Öffentlich

Sortieren

Neueste Älteste Alphabetisch Umgekehrt alphabetisch Kürzlich aktualisiert Am Längsten nicht aktualisiert Meiste Favoriten Wenigste Favoriten Meiste Forks Wenigste Forks Kleinste Größe Größte Größe

DanilaFe/ agda-spa

Agda 0 0

Attempts at formalizing static program analysis techniques in Agda.

Aktualisiert 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.

Aktualisiert 2024-09-24 18:46:42 -07:00