heutiger lächerlicher Beitrag in Julia: Implementierung einer (einfachen!) formalen Verifikations-Mini-PL durch Verwendung von Julia-Typen es kann sogar überprüfen, dass 1+1=2 aus den Peano-Axiomen!
4,66K