Had family over for a few days but I'm back for some improvements.

- New design (less grey :D)
- proofs support!
- proofs support!

(please note some and instances might not work due to instance-specific settings)

Sign in to participate in the conversation

Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.