This website requires JavaScript.
Explore
Help
Sign In
Danila Fedorin
DanilaFe
0 Followers
·
0 Following
Portland, OR
https://danilafe.com
Joined on
2017-09-08
Repositories
10
Projects
Packages
Code
Public Activity
Starred Repositories
Search
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
agda-spa
Agda
0
0
Attempts at formalizing static program analysis techniques in Agda.
Updated
2024-05-08 23:38:41 -07:00