dedukti_tarski_dev