Certified State Reductions and Semantics of Conjecture-Checking Turing Machines

Проект предоставляет проверенные сокращения состояний и семантику машины Тьюринга для проверки гипотез, что облегчает создание надёжных прототипов. Для практиче