Seseorang harus membayangkan Guille terus-menerus bahagia
guille
guille4 Jul, 08.10
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!
1,16K