dagens latterlige bit i Julia: implementering av en (enkel!) formell verifiseringsmini-PL ved å bruke Julia-typer den kan til og med bekrefte at 1+1=2 fra Peano-aksiomer!
4,66K