realizability

There are 4 repositories under realizability topic.

rahulc29/realizability
Experiments with Realizability in Univalent Type Theory
Language:Agda10 2 151
Champitoad/focalisation-classical-realizability
Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
Language:TeX1 3 00
junipertcy/simplicial-test
A backtracking-based algorithm to check if a given degree-size sequence can realize a simplicial complex
Language:Python1 5 10
miyamok/minlog
Proof assistant for realizability logic TCF
Language:Scheme1 1 00