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