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 07, 2022, 21:10

**ocschwar** @ocschwar@qoto.org · Nov 07, 2022, 21:10

ocschwar @ocschwar@qoto.org

I want an alpaca.

**ocschwar** @ocschwar@qoto.org · Nov 07, 2022, 18:06

**ocschwar** @ocschwar@qoto.org · Nov 07, 2022, 18:06

ocschwar @ocschwar@qoto.org

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

**ocschwar** · Nov 07, 2022, 16:51

ocschwar boosted

**Greta Thunberg** @gretathunberg@mastodon.nu · Nov 07, 2022, 16:51

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 07, 2022, 17:03

**ocschwar** @ocschwar@qoto.org · Nov 07, 2022, 17:03

ocschwar @ocschwar@qoto.org

Lean 4 & VS Code, where my homies?

**ocschwar** @ocschwar@qoto.org · Nov 07, 2022, 17:00

**ocschwar** @ocschwar@qoto.org · Nov 07, 2022, 17:00

ocschwar @ocschwar@qoto.org

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

**ocschwar** @ocschwar@qoto.org · Nov 07, 2022, 14:01

**ocschwar** @ocschwar@qoto.org · Nov 07, 2022, 14:01

ocschwar @ocschwar@qoto.org

Confusion to our enemies!

Joined Nov 2022