Deducteam/nubo

Nubo is a repository of interoperable formal proofs written in Dedukti.

Makefile