rahulc29 / realizabilityLinks

Experiments with Realizability in Univalent Type Theory
19Updated last year

Alternatives and similar repositories for realizability

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

Sorting: