constructive-mathematics
There are 6 repositories 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.
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
miyamok/minlog
Proof assistant for realizability logic TCF
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.