GitHub topics: realizability
rahulc29/realizability
Experiments with Realizability in Univalent Type Theory
Language: HTML - Size: 8.21 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 18 - Forks: 1
junipertcy/simpliciality-testing
A backtracking-based algorithm to check if a given degree-size sequence can realize a simplicial complex
Language: Python - Size: 1.01 MB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
Champitoad/focalisation-classical-realizability
Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
Language: TeX - Size: 350 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
