Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: tableau-prover

kovvalsky/prove_SICK_NL

Prove Ducth NLI problems of SICK-NL with LangPro

Language: Prolog - Size: 68.4 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1

Related Keywords
dutch 1 dutch-language 1 natural-language-inference 1 natural-logic 1 neural-proof-net 1 nli 1 proof-net 1 tableau-prover 1 textual-entailment 1 theorem-prover 1 theorem-proving 1