This you find around the 🌐 Internet
🔍 Web search with Google BingDuckDuckGo MarginaliaRedditSpotifyTikTokTootfinderXYandexYoutubeYTM
This you find in the 🏛️ Agora
🤖 AI assistant on 'type theory'
Generative AI services provided by Mistral AI. To save a generation into the Agora, for now please copy/paste into the document Stoa above.

Generating text...


🗣️ Stoas for [[type theory]]
A Stoa is a public space where people can meet and collaborate.
📖 Document at https://doc.anagora.org/type theory
📹 Meeting at https://framatalk.org/type theory

Loading Agora node...