Сьогоднішня смішна дрібниця в Julia: реалізація (простої!) формальної верифікації міні-PL за допомогою типів Julia він навіть може перевірити, що 1+1=2 з аксіом Пеано!
4,66K