formal proof - Turkish English Dictionary