5calore
1risposta
Assistente di prova solo per matematica
7calore
2risposta
Prova idiomatica per contraddizione in Isabelle?
10calore
3risposta
Strategie generali di prova per mostrare la correttezza delle funzioni ricorsive?
5calore
2risposta
Perché l'algoritmo goloso è ottimale?
5calore
2risposta
Se due cose non sono uguali, sono uguali?
14calore
1risposta
Open Level Proofs in Haskell/Idris
14calore
3risposta
Numero di alberi di ricerca binaria su n elementi distinti
5calore
1risposta
7calore
1risposta
Dimostrazione della mappa id = id in idris?
6calore
4risposta
applicare un metodo se e solo se si risolve l'obiettivo attuale