dagens löjliga bit i Julia: att genomföra en (enkel!) formell verifiering mini-PL med hjälp av Julia-typer det kan till och med verifiera att 1+1=2 från Peano-axiom!
4,69K