Repositories tagged with "constructive-mathematics"
RARE
TCG-style cards with ATK/DEF/SPD stats
COMMON
โญ385HP
โ
โ
โ
โ
๐ฆNormal
โ
awesome-rust-formalized-reasoning
newca12
automated-theorem-proversconstructive-mathematics
โAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.โ