Open Issues Need Help
View All on GitHub Add loading indicator for search 5 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 about 1 month 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 4 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