English Dictionary

Researchers compared different proof systems to determine which offered the best balance of soundness and efficiency.

研究者たちは、どの証明システムが健全性と効率のバランスに最も優れているかを比較した。