la parte ridícula de hoy en Julia: implementar un (¡simple!) mini-PL de verificación formal mediante el uso de tipos de Julia ¡incluso puede verificar que 1 + 1 = 2 de los axiomas de Peano!
4.66K