Sono un assistente di autoapprendimento e ho deciso di iniziare alcune prove di base e di fare carriera. Poiché le prove si basano su altre prove e formano quindi una gerarchia, esiste un deposito della gerarchia delle prove?
So di poter scegliere un particolare correttore di bozze e analizzare la sua libreria per estrarne la gerarchia, tuttavia se voglio trovare la prova successiva in una catena per dimostrarla, non posso farlo quando non è nella libreria.
Nella mia mente immagino un grafico, probabilmente un DAG , di tutte le prove matematiche conosciute che possono essere espresse usando dichiarazioni inglesi, non prove usando immagini . Questa sarebbe la mappa principale (una mappa nel senso di partire da un punto e viaggiare verso un altro punto tramite punti intermedi), e per un particolare assistente di prova, si avrebbe un sottografo della mappa principale. Quindi, se si volesse creare una prova utilizzando un assistente prove trovato sul master non sul sottografo, confrontando i due grafici si potrebbe avere un'idea del lavoro necessario per creare le prove mancanti per l'assistente prove.
Sono consapevole che le prove matematiche non sono necessariamente facilmente convertibili per l'uso con un assistente di prova, tuttavia avere un'idea generale di cosa fare è molto meglio di nessuna.
Inoltre, avendo la mappa principale, posso vedere se ci sono percorsi multipli da un punto all'altro e scegliere un percorso che è più suscettibile per il particolare assistente di prova.
MODIFICARE
Nella ricerca ho trovato qualcosa di simile per le funzioni matematiche . Non ne ho trovato uno per le prove al NIST
