theorem-proving topic
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.
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
certigrad
Bug-free machine learning on stochastic computation graphs
cakeml
CakeML: A Verified Implementation of ML
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
ProvingGround
Proving Ground: Tools for Automated Mathematics
rusty-razor
Razor is a tool for constructing finite models for first-order theories
coq_jupyter
Jupyter kernel for Coq
gapt
GAPT: General Architecture for Proof Theory
LangPro
Tableau-based Theorem Prover for Natural Logic and Language