Offline
day
week
Lf-lean: The frontier of verified software engineering
14 points
|
theorem.dev
|
alpaylan
|
4hrs