GitHub repository: Deducteam/Libraries
Primary language: Makefile
Created: 2018-03-13T14:43:37Z
Description: A collection of hand-written files for Dedukti