⚡ This is your brand? Claim your page free and bring it to life on AI search.
mattam's blog
About mattam's blog
Researcher at Inria / Musician Blog About A variant of Markov's principle in HoTT I’ve been playing with this proof which I already found quite neat in pure Coq and adapting it to HoTT using truncation instead of double negation.
Key Topics
Details
Category: Media & Entertainment
mattam82.github.ioAI Visibility Breakdown
1
Structured Data
4
Content Structure
5
Entity Clarity
4
E-E-A-T Signals
6
Technical AEO
4
AI Discoverability
Is this your brand?
Claim your free page to manage and improve your AI visibility score.
How to Get Your Brand Cited by ChatGPT, Gemini, and Claude: The Complete AEO Guide
The search landscape has fundamentally shifted. While Google still dominates, millions of users now ask questions to ChatGPT, Gemini, and Claude instead of typing into a search bar.
Continue reading in your free Engagemii portalFree signup unlocks the full article plus your personalized AEO fix list for mattam's blog.
Source & Attribution
Scored by Engagemii on May 29, 2026. Methodology: engagemii.com/aeo/methodology
Source URL: https://engagemii.com/aeo/brands/mattam82-github-io
Cite this score: Engagemii (2026). "AEO Score for mattam's blog." Retrieved from https://engagemii.com/aeo/brands/mattam82-github-io
Licensed under CC BY 4.0. You may reuse this data with attribution: a visible link to engagemii.com.
Powered by Engagemii - AI Brand Discovery and AEO Platform