Proof assistant for realizability logic TCF
proof-assistant
formal-verification
scheme-language
constructive-mathematics
realizability
program-extraction
-
Updated
Feb 28, 2024 - Scheme