← Back to context Comment by yuppiemephisto 2 days ago https://markushimmel.de/blog/my-first-verified-imperative-pr...Lean 1 comment yuppiemephisto Reply saithound 2 days ago Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.
saithound 2 days ago Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.
Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.