partea ridicolă de astăzi în Julia: implementarea unui mini-PL de verificare formală (simplă!) folosind tipuri Julia poate chiar să verifice că 1+1=2 din axiomele Peano!
4,68K