automated deduction, B method, deduction modulo, Dedukti, set theory, Typed Proof Search, Zenon Modulo.