Треба уявити собі Гілья постійно щасливим
guille
guille4 лип., 08:10
Сьогоднішня смішна дрібниця в Julia: реалізація (простої!) формальної верифікації міні-PL за допомогою типів Julia він навіть може перевірити, що 1+1=2 з аксіом Пеано!
1,15K