a parte ridícula de hoje em Julia: implementar uma mini-PL de verificação formal (simples!) usando tipos de Julia ela pode até verificar que 1+1=2 a partir dos axiomas de Peano!
4,67K