Open Issues Need Help
View All on GitHub Rename "Unknown" entailment label to "Undefined" 16 days ago
enhancement good first issue
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
TypeScript
Add loading indicator for search 23 days ago
enhancement good first issue
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
TypeScript
Random problem button 2 months ago
enhancement good first issue bonus
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
TypeScript
Minor alignment glitch in proof tableau 5 months ago
bug good first issue
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
TypeScript
Missing permission warnings when migrating 7 months ago
bug help wanted
An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
TypeScript