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.
maxhfarrell/FLM2
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|