rahulc29 / realizability

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

Alternatives and similar repositories for realizability:

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