constructive-logic
There are 2 repositories under constructive-logic topic.
vishallama/martin-lof
papers of Per Martin Löf
wkolowski/CoqBookPL
Stabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach.