البحث عن الكتب
الكتب
التبرع والدعم
تسجيل الدخول
تسجيل الدخول
المستخدمين المصرح لهم متاح لهم التالي:
توصيات شخصية
روبوت Telegram
تاريخ التنزيلات
إرسال إلي Email أو Kindle
إدارة المجموعات المختارة
حفظ في المفضلة
شخصي
طلبات الكتب
تعلم
Z-Recommend
قوائم الكتب المختارة
الأكثر شهرة
الفئات
مشاركة
التبرع والدعم
التحميلات
Litera Library
التبرع بالكتب الورقية
أضف كتبًا ورقية
Search paper books
LITERA Point الخاص بي
البحث عن الكلمات الرئيسية
Main
البحث عن الكلمات الرئيسية
search
1
Certainty by Construction: Software and Mathematics in Agda
Sandy Maguire
suc
agda
zero
ℕ
function
ℓ
bool
false
cong
module
setoid
we’d
functions
monoid
import
reasoning
sym
𝑥
equality
argument
branch
identityʳ
hnf
proofs
prove
equal
insert
syntax
arguments
bst
define
values
eval
trie
inj
𝑎
monoids
assoc
programming
constructor
addition
identityˡ
𝑏
emacs
variables
ℤ
preorder
standard
shape
iseven
عام:
2023
اللغة:
english
ملف:
PDF, 1.33 MB
الشعارات الخاصة بك:
0
/
4.5
english, 2023
1
ادخل علي
هذا الرابط
أو إبحث عن البوت "@BotFather" في Telegram
2
أرسل الأمر /newbot
3
أدخل إسمًا للبوت الخاص بك
4
أدخل إسم المستخدم للبوت
5
انسخ الرسالة الأخيرة من BotFather والصقها هنا
×
×