General purpose, hand-written, dedukti files
Primary LanguageMakefile
No issues in this repository yet.