This repository contains replication files for Farrell, Liang, Misra 2025 (arXiv:2010.14694, version 3).
For a python implementation (which I haven't tested): https://deep-inference.readthedocs.io/en/latest/index.html.
This repository contains replication files for Farrell, Liang, Misra 2025 (arXiv:2010.14694, version 3).
For a python implementation (which I haven't tested): https://deep-inference.readthedocs.io/en/latest/index.html.