Add neural proof net class (!1) · Merge requests · PNRIA / Global Helper / DeepGrail Tagger-Linker · GitLab

Snippets Groups Projects

Merged Caroline de Pourtalès requested to merge add-neural-proof-net-class into main 2 years ago

Activity

Caroline de Pourtalès approved this merge request 2 years ago

approved this merge request
Caroline de Pourtalès added 2 commits 2 years ago
added 2 commits

f4eb43b2 - 1 commit from branch main

05a378e8 - Merge branch 'main' into 'add-neural-proof-net-class'

Compare with previous version
Caroline de Pourtalès mentioned in commit 47ea72b8 2 years ago

mentioned in commit 47ea72b8
Caroline de Pourtalès merged 2 years ago

merged

Please register or sign in to reply