Post #5534
1.12K
هر وقت لای اثبات یه چیز توی تایپ‌تئوری و لاجیک رو باز میکنی، مثل این اثبات پای یه کسشری از آقای Tarski در میونه. تو کی بودی مرد.
- Oct 17, 2026document post
- Oct 15, 2026از اونجایی که ما جلسه آنلاین و پرسش و پاسخ نخواهیم داشت، حوصله گروه و این داستان‌ها هم نیس…
- Oct 15, 2026بر اساس این کتاب دارم یک سری ویدوی ضبط میکنم که به نظرم شروع خوبی برای ورود به دنیای PL و…
- Oct 9, 2026The sweeter lessson
- Oct 8, 2026تک درختم سوخت سیکیم جنگل صاحابی
- Oct 8, 2026دیدید ترسم بی‌جا نبود؟ آقای Jukka Suomela توی لینکدین امشب پست گذاشته: I think our researc…