automated deduction, B method, deduction modulo, Dedukti, modal logic, set theory, temporal logic, TLA, Typed Proof Search, Zenon Modulo.
