GitHub repository: konstantinosKokos/dynamic-proof-nets
Primary language: Python
Description: a combination of dynamic graph supertagging and neural proof nets