#

realizability

Here is 1 public repository matching this topic...

miyamok / minlog

Proof assistant for realizability logic TCF

proof-assistant formal-verification scheme-language constructive-mathematics realizability program-extraction

Updated Feb 28, 2024
Scheme

Improve this page

Add a description, image, and links to the realizability topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the realizability topic, visit your repo's landing page and select "manage topics."