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

Cooperation or bug report? Please contact us:

[email protected]

#PROOF-ASSISTANT

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

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

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

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