la ridícula parte de hoy en Julia: implementar un mini-PL de verificación formal (¡simple!) utilizando tipos de Julia ¡incluso puede verificar que 1+1=2 a partir de los axiomas de Peano!
4,67K