GitHub repository: wtsnjp/MioGatto
Primary language: Python
Description: An annotation tool for grounding of formulae