Toot

Written by Tom de Jong on 2025-01-31 at 17:41

@danielgratzer @trebor

Indeed @buchholtz does: https://youtu.be/eB6HwGLASJI

(See also Lemma 5.4 of our paper on acyclic types: https://arxiv.org/abs/2401.14106)

=> More informations about this toot | View the thread | More toots from de_Jong_Tom@mathstodon.xyz

Mentions

=> View danielgratzer@mathstodon.xyz profile | View trebor@types.pl profile | View buchholtz@mathstodon.xyz profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113924196164407010
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
217.817302 milliseconds
Gemini-to-HTML Time
0.758691 milliseconds

This content has been proxied by September (3851b).