Opinion: Nu kan AI skrive koden: Men mulighederne rækker langt ud over hurtigere programmering

SDU spiller en førende rolle i Lean Computer Science Library – et internationalt open source-samarbejde om at opbygge et fælles, maskinverificeret bibliotek af verificeret kode og datalo…
» Ingenioren