Deducteam/nubo

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

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