متامث (Q6822975)
پرش به ناوبری
پرش به جستجو
Formal language and associated computer program انگلیسی
| زبان | برچسب | توصیف | نام‌های مستعار این آیتم |
|---|---|---|---|
| فارسی | متامث |
هیچ توصیف تعریف نشده است. |
|
| انگلیسی | Metamath |
Formal language and associated computer program |
|
گزاره‌ها
0.181
۱۲ فوریهٔ 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.181 (انگلیسی)
۱۲ فوریهٔ 2020
0.182
۱۲ آوریل 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.182 (انگلیسی)
۱۲ آوریل 2020
0.183
۳۰ ژوئن 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.183 (انگلیسی)
۳۰ ژوئن 2020
0.184
۱۹ ژوئیهٔ 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.184 (انگلیسی)
۱۹ ژوئیهٔ 2020
0.185
۷ اوت 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.185 (انگلیسی)
۷ اوت 2020
0.186
۹ اوت 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.186 (انگلیسی)
۹ اوت 2020
0.187
۱۷ اوت 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.187 (انگلیسی)
۱۷ اوت 2020
0.188
۲۳ اوت 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.188 (انگلیسی)
۲۳ اوت 2020
0.189
۴ سپتامبر 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.189 (انگلیسی)
۴ سپتامبر 2020
0.190
۵ سپتامبر 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.190 (انگلیسی)
۵ سپتامبر 2020
0.191
۵ سپتامبر 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.191 (انگلیسی)
۵ سپتامبر 2020
0.192
۵ سپتامبر 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.192 (انگلیسی)
۵ سپتامبر 2020
0.193
۱۲ سپتامبر 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.193 (انگلیسی)
۱۲ سپتامبر 2020
0.194
۲۷ دسامبر 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.194 (انگلیسی)
۲۷ دسامبر 2020
0.195
۳۰ دسامبر 2020
۱ ارجاع
۲۹ ژوئن 2021
Release 0.195 (انگلیسی)
۳۰ دسامبر 2020
0.196
۲ ژانویهٔ 2021
۱ ارجاع
۲۹ ژوئن 2021
Release 0.196 (انگلیسی)
۲ ژانویهٔ 2021
0.197
۲ اوت 2021
۱ ارجاع
۲۷ ژوئیهٔ 2022
Release 0.197 (انگلیسی)
۷ اوت 2021
0.198
۷ اوت 2021
۱ ارجاع
۲۷ ژوئیهٔ 2022
Release 0.198 (انگلیسی)
۸ اوت 2021
۲٬۳۹۴٬۸۱۴
۳۰ نوامبر 2017