miyamok/minlog

Proof assistant for realizability logic TCF

Scheme

Readme
0Issues
1Stargazer
1Watcher

This repository is not active

Topics

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

Share to

Contact site admin: Geeks.