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! -- |_|0|_| |_|_|0| |0|0|0|
_______________________________________________ Python mailing list [email protected] http://lists.python.it/mailman/listinfo/python
