Open Issues Need Help
View All on GitHubAn annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.