Deducteam/lambdapi-stdlib

Repository of Lambdapi developments

MakefileNOASSERTION