GitHub repository: tambercore/mud
Primary language: Rust
Description: 📦 Natural Language Theorem Prover built on Dependent Type Theory (Agda) and Symbolic NLP (Lambeq).