🗣️ Mixing Proof-Theory with Natural Language Processing. Inspired by David Corfields comments on univalent philosophy.