Filter

Clear Filter

Gearchiveerd Not Archived

Forked Not Forked

Mirrored Not Mirrored

Sjabloon Not Template

Prive Publiek

Sorteer

Nieuwste Oudste Alfabetisch Omgekeerd alfabetisch Recent bijgewerkt Minst recent bijgewerkt Meeste sterren Minste sterren Meeste forks Minste forks Kleinste grootte Grootste grootte

DanilaFe/ agda-spa

Agda 0 0

Attempts at formalizing static program analysis techniques in Agda.

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

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