dnešní směšná část v Julii: implementace (jednoduchého!) formálního verifikačního mini-PL pomocí typů Julia může dokonce ověřit, že 1+1=2 z Peanových axiomů!
4,66K