Comment on Functional Data Structures and Algorithms: a Proof Assistant ApproachparentComments−yuppiemephisto9mohttps://markushimmel.de/blog/my-first-verified-imperative-pr...Lean−saithound9moVerification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.
Comments
https://markushimmel.de/blog/my-first-verified-imperative-pr...
Lean
Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.