GitHub repository: rafoo/dklib
Primary language: Makefile
Description: General purpose, hand-written, dedukti files