no code implementations • 11 Dec 2020 • Sophia Epstein, Pavel Naumov
The main technical result is a completeness theorem for the proposed system.