rahulc29 / realizabilityLinks

Experiments with Realizability in Univalent Type Theory
19Updated 11 months ago

Alternatives and similar repositories for realizability

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

Sorting: