5 ms·
https://markushimmel.de/blog/my-first-verified-imperative-program/ https://markushimmel.de/blog/my-first-verified-imperative-pr... Lean
by yuppiemephisto 10mo ago
https://markushimmel.de/blog/my-first-verified-imperative-program/ https://markushimmel.de/blog/my-first-verified-imperative-pr...
Lean
- saithound 10mo agoVerification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.