Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Mikolas Janota

First call for papers for the workshop Pragmatics of SAT (PoS). Since this year SAT is colocated with CP, the workshop also reflects that. www.pragmaticsofsat.org/2025/

Mar 22, 2025, 08:13 AM·Public·Web
1boost·0favorites
SearchLive feeds
About