GitHub repository: kovvalsky/prove_SICK_NL
Primary language: Prolog
Description: Prove Ducth NLI problems of SICK-NL with LangPro