rahulc29 / realizabilityLinks

Experiments with Realizability in Univalent Type Theory
18Updated 7 months ago

Alternatives and similar repositories for realizability

Users that are interested in realizability are comparing it to the libraries listed below

Sorting: