ucsd-progsys / intro-refinement-types

Introductory Tutorial on Refinement Types

Home Page:http://ucsd-progsys.github.io/intro-refinement-types/120/01-index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ucsd-progsys/intro-refinement-types Stargazers