tambercore
Popular repositories Loading
Repositories
Showing 1 of 1 repositories
- mud Public
📦 Natural Language Theorem Prover built on Dependent Type Theory (Agda) and Symbolic NLP (Lambeq), awarded Best Group Dissertation at University of Nottingham.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…