Lysxia / system-FLinks

Formalization of the polymorphic lambda calculus and its parametricity theorem
35Updated 2 months ago

Alternatives and similar repositories for system-F

Users that are interested in system-F are comparing it to the libraries listed below

Sorting: