automated-theorem-provers topic

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Chymyst

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

joom

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

newca12