rahulc29 / realizability Star 17 Code Issues Pull requests Discussions Experiments with Realizability in Univalent Type Theory cubical-type-theory category-theory univalent-foundations univalent-mathematics univalent-type-theory realizability Updated Oct 21, 2024 HTML
miyamok / minlog Star 1 Code Issues Pull requests Proof assistant for realizability logic TCF proof-assistant formal-verification scheme-language constructive-mathematics realizability program-extraction Updated Feb 28, 2024 Scheme
junipertcy / simpliciality-testing Sponsor Star 1 Code Issues Pull requests Discussions A backtracking-based algorithm to check if a given degree-size sequence can realize a simplicial complex data-science topology python3 np-hard recursive-algorithm simplicial-complex realizability simpliciality Updated Oct 28, 2021 Python
Champitoad / focalisation-classical-realizability Star 1 Code Issues Pull requests Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni. lambda-calculus sequent-calculus classical-logic realizability Updated Apr 1, 2020 TeX