eneoli / alice Star 3 Code Issues Pull requests A proof checker for constructive logic first-order-logic curry-howard-isomorphism propositions-as-types constructive-logic proofs-are-programs Updated Dec 17, 2024 Rust
vishallama / martin-lof Star 1 Code Issues Pull requests papers of Per Martin Löf programming logic type-theory intuitionistic-logic constructive-logic constructive-mathematics Updated Mar 20, 2024 TeX
wkolowski / CoqBookPL Star 0 Code Issues Pull requests Stabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach. functional-programming book coq type-theory formal-verification constructive-logic constructive-mathematics Updated Dec 28, 2020