TGList
Settings
Theme
Language
ENEnglishESEspañolHIहिन्दीPTPortuguêsRUРусскийUAУкраїнськаZH中文ARالعربية
Contact

Cooperation or bug report? Please contact us:

[email protected]

#FORMAL-METHOD

Список лучших Telegram-каналов с хэштегом #FORMAL-METHOD.

Похожие теги
#lean100%
#proof-assistant100%
#mathematics100%
#computer-science100%
AP
apessimisticresearcher@apessimisticresearcher

Наш мир начинается с базы данных и формального метода и заканчивается пустотой!

2k
Общее
#lean#proof-assistant#formal-method