Bagian konyol hari ini di Julia: menerapkan mini-PL verifikasi formal (sederhana!) dengan menggunakan jenis Julia bahkan dapat memverifikasi bahwa 1+1=2 dari aksioma Peano!
4,68K