bisogna immaginare guille costantemente felice
guille
guille4 lug, 08:10
l'assurdità di oggi in Julia: implementare un mini-PL di verifica formale (semplice!) utilizzando i tipi di Julia può persino verificare che 1+1=2 dagli assiomi di Peano!
1,16K