Contenuto cancellato Contenuto aggiunto
→‎Prope: nuova sezione
Riga 1 702:
 
OK, annullo tranquillamente la modifica, però Naka non ha affermato che ci lavora solamente lui dal 2017 in poi? Anche se non riesco a comprendere bene come sia possibile che da solo riesca a gestire un'intera azienda, sulla Wikipedia in inglese sostengono che ci sia solo lui, io annullo per sicurezza comunque sia. --[[Utente:Pazio Paz|Pazio Paz]] ([[Discussioni utente:Pazio Paz|msg]]) 01:30, 12 gen 2020 (CET)
 
== [[Asserzione (informatica)]] e [[Asserzione (linguistica)]] ==
 
Sto per creare la seconda. In quest'ottica, ti prego di controllare questo edit: https://it.wikipedia.org/w/index.php?title=Logica_di_Hoare&diff=110008487&oldid=84812386. '''[[Utente:Pequod76|<span style="color:#0080C0;"><kbd>pequod</kbd></span>]]''' [[Discussioni utente:Pequod76|<span style="color:#ff7f50;"><sup>Ƿƿ</sup></span>]] 13:04, 13 gen 2020 (CET)