https://github.com/inaciovasquez2020/final-wall-conditional-index

Index of all conditional dependencies in the Final Wall program

finite-model-theory fo4 graph-theory locality reproducibility weisfeiler-leman wl2 wl3

Last synced: 04 Apr 2026