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 2024-04-28 00:27:06 -07:00