Okay I will finish this one part of the proof today, even if it takes the next 8 hours (which it probably will)

@kimreece After working all day from 10 to 23 and finishing a draft for an application I am quite glad that I am not even editing now ^^'

@kimreece It probably only works in browser? My mobile app does not seem to compile it.

Hello, I am Florian, aspiring model theorist and geometer and not quite a PhD student yet, but I am doing my best to become one soon.

Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!