GitHub repository: Deducteam/nubo
Primary language: Makefile
Created: 2021-02-25T11:07:37Z
Description: Nubo is a repository of interoperable formal proofs written in Dedukti.