Don't have Telegram yet? Try it now!
Zависимые типы в массы!
447 members, 81 online
Invite link:
https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Please stay on the topic (dependent types, automated theorem proving, verification and related themes) and refrain from using stickers/memes.
You are invited to the group Zависимые типы в массы!. Click above to join.