constructive-mathematics

There are 0 repository under constructive-mathematics topic.

newca12 / awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
formal-verification prover automated-theorem-provers theorem-prover reasoning logic constructive-mathematics dependent-types theorem-proving proof-assistants rust
269
martinescardo / TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
univalent-foundations agda homotopy-type-theory type-theory constructive-mathematics compact-type totally-separated-type injective-type ordinal searchable-set univalent-mathematics
Language:Agda 212
miyamok / minlog
Proof assistant for realizability logic TCF
constructive-mathematics formal-verification proof-assistant realizability scheme-language program-extraction
Language:Scheme 1
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.
book constructive-logic constructive-mathematics coq formal-verification functional-programming type-theory