Giters

miyamok / minlog

Proof assistant for realizability logic TCF

Home Page:https://www.math.lmu.de/~logik/minlog/index.php

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

constructive-mathematicsformal-verificationproof-assistantrealizabilityscheme-languageprogram-extraction

This repository is not active

About

Proof assistant for realizability logic TCF

https://www.math.lmu.de/~logik/minlog/index.php

constructive-mathematicsformal-verificationproof-assistantrealizabilityscheme-languageprogram-extraction

Languages

Language:Scheme 99.6%Language:Emacs Lisp 0.3%Language:Makefile 0.1%Language:Shell 0.0%