Perspectives on neural proof nets

Open in new window