constructive-logic

There are 0 repository under constructive-logic topic.

vishallama / martin-lof
papers of Per Martin Löf
type-theory logic constructive-mathematics constructive-logic intuitionistic-logic programming
Language:TeX 1
wkolowski / CoqBookPL
Stabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach.
coq functional-programming formal-verification type-theory book constructive-logic constructive-mathematics