arXiv math.LO Logic (@mathlob) 's Twitter Profile
arXiv math.LO Logic

@mathlob

Unofficial bot by @vela with github.com/so-okada/twXiv. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...

ID: 1359076814

linkhttps://arxiv.org/list/math.LO/new calendar_today17-04-2013 10:14:00

18,18K Tweet

1,1K Followers

0 Following

arXiv math.LO Logic (@mathlob) 's Twitter Profile Photo
arXiv math.LO Logic
@mathlob

a month ago

Vojt\v{e}ch \v{S}t\v{e}pan\v{c}\'ik: Formalizing the zigzag construction of path spaces of pushouts arxiv.org/abs/2510.08452 arxiv.org/pdf/2510.08452 arxiv.org/html/2510.08452