Vorrei tenere un discorso di matematica sul sistema di controllo di revisione git . Ora è ampiamente usato in matematica e nell'industria dell'informatica. Ad esempio, la comunità HoTT (Homotopy Type Theory) lo utilizza ed è il sistema ideale per la modifica collaborativa di file di testo, siano essi codice sorgente o markup in lattice.
So che git usa la nozione di un grafico aciclico diretto, che è un inizio. Tuttavia, un buon discorso di matematica menziona prove e teoremi.
Quale teorema potrei dimostrare su Git che è effettivamente rilevante per il suo uso?