GitHub repository: tambercore/hottnat
Primary language: Rust
Created: 2024-08-10T13:02:43Z
Description: 🗣️ Mixing Proof-Theory with Natural Language Processing. Inspired by David Corfields comments on univalent philosophy.