Skip to content

miyamok/minlog

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

719 Commits
doc
doc
 
 
examples
examples
 
 
lib
lib
 
 
src
src
 
 
util
util
 
 
Makefile
Makefile
 
 
winsetup.ss
winsetup.ss
 
 

About

Proof assistant for realizability logic TCF

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

Topics

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

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages