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!
4,7K