/realizability

Experiments with Realizability in Univalent Type Theory

Primary LanguageHTMLApache License 2.0Apache-2.0

Watchers