Jika Anda ingin tahu tentang #LeanLang dan ingin memahami hubungan antara #programming dan #proofs, lihat video baru yang bagus ini oleh Ank Yog. Analogi antara Catur dan proposisi sejati sangat menarik!