2016-06-06 15:27 GMT+01:00 Marco Santamaria <[email protected]>:
> > Il giorno 6 giugno 2016 15:02, Valerio Maggio <[email protected]> > ha scritto: > >> Btw, ma davvero esiste un linguaggio che si chiama "Coq" ?! ... >> > > E lo hanno pure usato per dimostrare il teorema dei quattro colori! > And now a presentation about the coq programming language... [leggere ad alta voce...] -- . ..: -enrico-
_______________________________________________ Python mailing list [email protected] http://lists.python.it/mailman/listinfo/python
