wkolowski / coqbookpl Goto Github PK
View Code? Open in Web Editor NEWStabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach.
Home Page: https://wkolowski.github.io/CoqBookPL/