Repositories Users Organizations Code
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
DanilaFe / agda-spa
Agda 0 0

Attempts at formalizing static program analysis techniques in Agda.

Updated 2 weeks ago