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!
4,68K