Experiments with Realizability in Univalent Type Theory
Proof assistant for realizability logic TCF
Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
A backtracking-based algorithm to check if a given degree-size sequence can realize a simplicial complex
Analyze digital designs on Windows with hierarchical RTL, waveform viewing, schematic exploration, and MCP workflows in one workbench.
Multi-objective evolutionary repair of unrealisable specifications
To associate your repository with the realizability topic, visit your repo's landing page and select "manage topics."