Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Topic: "lambda-logical-form"

kovvalsky/LangPro

Tableau-based Theorem Prover for Natural Logic and Language

Language: Prolog - Size: 26.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 116 - Forks: 12

Related Topics
formal-semantics 1 natural-language-inference 1 natural-language-processing 1 natural-logic 1 natural-tableau 1 nli 1 prolog 1 semantic-tableau 1 theorem-prover 1 theorem-proving 1