rahulc29 / realizabilityLinks

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

Alternatives and similar repositories for realizability

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

Sorting: