trzeba sobie wyobrazić, że Guillem jest ciągle szczęśliwy
guille
guille4 lip, 08:10
dzisiejszy absurd w Julii: implementacja (prostej!) mini-PL do formalnej weryfikacji przy użyciu typów Julii może nawet zweryfikować, że 1+1=2 na podstawie aksjomatów Peano!
1,15K