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

Cooperation or bug report? Please contact us:

[email protected]

#PROOF-ASSISTANT

List of the best Telegram channels tagged with #PROOF-ASSISTANT.

Related Tags
#lean100%
#formal-method100%
#mathematics100%
#computer-science100%
AP
apessimisticresearcher@apessimisticresearcher

Our world starts from database and formal method and ends in emptiness!

2k
General
#lean#proof-assistant#formal-method