monae icon indicating copy to clipboard operation
monae copied to clipboard
verified publisher icon affeldt-aist

Add example of proving memoization by parametricity

Open garrigue opened this issue 7 months ago • 0 comments

This is not using trocq yet, but should eventually.

garrigue avatar May 22 '25 12:05 garrigue