Login
From:
danilafe.com
(Uncensored)
subscribe
Implementing and Verifying "Static Program Analysis" in Agda, Part 0: Intro
https://danilafe.com/blog/00_spa_agda_intro/
links
backlinks
Roast topics
Find topics
Find it!
In this post, I give a top-level overview of my work on formally verified static analyses
