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-30 22:15:54 -07:00