FM-Net implementation (https://docs.formality-lang.org/en/latest/theory/Formality-Net.html) - View it on GitHub