cvc5
A generator for Semantic Fusion
Natural deduction proof generator & checker
A fuzzing framework for SMT solvers
Static precondition checker for numerical JAX programs: declare a box, get a stamped VERIFIED/REFUTED/UNKNOWN with a runnable witness. Zero required dependencies.
