توی این ویدیو توضیحات تکنیکال رو میگم . کد ها هم داخل گیت هاب من منتشر خواهند شد: https://github.com/akp2003/discrete-math-12

گسسته دوازدهم,برنامه نویسی,اثبات,Rocq,ریاضی