Following

​

@xy@mastodon.mit.edu

The Rocq Prover

@RocqProver@mastodon.acm.org

Greg Roach

@fisharebest@phpc.social

Andrew Nesbitt

@andrewnez@mastodon.social

Wojciech Nawrocki

@Vtec234@mathstodon.xyz

CiVers

@civers@social.bund.de

Terence Tao

@tao@mathstodon.xyz

Pietro Monticone

@PietroMonticone@mathstodon.xyz

Zotero

@zotero@fosstodon.org

Simon Willison

@simon@fedi.simonwillison.net

Kelsey Houston-Edwards

@kelseyahe@mathstodon.xyz