GitHub repository: na4zagin3/SATySFi-grcnum
Primary language: Makefile
Description: Greek numeral library for SATySFi