Y
Hacker News
new
|
ask
|
show
|
jobs
by
yuppiemephisto
211 days ago
https://markushimmel.de/blog/my-first-verified-imperative-pr...
Lean
1 comments
saithound
211 days ago
Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.
link