Comment by yuppiemephisto 2 months ago https://markushimmel.de/blog/my-first-verified-imperative-pr...Lean 1 comment yuppiemephisto Reply saithound 2 months ago Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.
saithound 2 months 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.