Deducteam/nubo

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

langage: Makefile - taille: 124 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a plus de 2 ans - étoiles: 4 - forks: 1