Top 2 constructive-mathematics open source projects

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.