Comment on Functional Data Structures and Algorithms: a Proof Assistant ApproachparentComments−saithound9moVerification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.
Comments
Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.