rahulc29 / realizability

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

Alternatives and similar repositories for realizability:

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