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-05-10 00:01:08 -07:00