ptarau / TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ptarau/TypesAndProofs Stargazers