Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

366K
active users

mastodon.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-nightly.2025-03-14-security

Julien Narboux

Enseignant Chercheur en Informatique, preuve formelle, géométrie, déduction automatique, informatique débranchée

Apr 26, 2022, 03:11 PM·Public·Web
0boosts·0favorites
ExploreLive feeds
About