ucsd-progsys / reasoning-about-functions

Slides for talk about Refinement Reflection and Proof by Logical Evaluation

Geek Repo

Github PK Tool