Lf-lean: The frontier of verified software engineering
Posted 1 day ago by
alpaylan
18
points
https://theorem.dev/blog/lf-lean/
2
comments
Loading..
Loading..