uno debe imaginar a guille constantemente feliz
guille
guille4 jul, 08:10
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!
1,15K