ocschwar @ocschwar@qoto.org

Joined Nov 2022

ocschwar @ocschwar@qoto.org

@gretathunberg Well, given that Mars is flat, I prefer earth.

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

ocschwar @ocschwar@qoto.org

I want an alpaca.

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

ocschwar @ocschwar@qoto.org

@bsafieldeen mention #leanprover, get a follower. Hi.

**ocschwar** · Nov 7, 2022

ocschwar boosted

**Greta Thunberg** @gretathunberg@mastodon.nu · Nov 7, 2022

Greta Thunberg @gretathunberg@mastodon.nu

Hi, this is Greta. You are welcome to follow me here, if you prefer planet earth to planet mars.

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

ocschwar @ocschwar@qoto.org

Lean 4 & VS Code, where my homies?

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

ocschwar @ocschwar@qoto.org

Greetings to all in my monkey sphere. Must remember not to get too candid here.

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

**ocschwar** @ocschwar@qoto.org · Nov 7, 2022

ocschwar @ocschwar@qoto.org

Confusion to our enemies!

Joined Nov 2022