2016-06-06 15:27 GMT+01:00 Marco Santamaria <marco.santama...@gmail.com>:
> > Il giorno 6 giugno 2016 15:02, Valerio Maggio <valerio.mag...@gmail.com> > 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 Python@lists.python.it http://lists.python.it/mailman/listinfo/python
