1、Indeed, agencies enjoy considerably wider power to dispense with formal proof than the courts do.
事實上，行政機關(guān)較之法院享有更多更廣泛的權(quán)力省卻正式的舉證。

2、See Resources for a formal proof of the algorithm.
有關(guān)這種算法的形式證明請參閱 參考資料。

3、As of now we have not received any formal proof ', he said.
到現(xiàn)在我們還沒有收到任何正式的官方文件。

formal proof翻譯