Following

Lean

@leanprover@functional.cafe

Patrick Massot

@patrick_massot@mathstodon.xyz

Paul-André Melliès

@pamellies@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Albert Cohen 🏴‍☠️

@ahcohen@mastodon.social

Sandrine Blazy

@sandrineblazy@mastodon.social

seL4

@sel4@fosstodon.org

thierrycoquand

@thierrycoquand@mastodon.social

Satnam Singh

@satnam6502@mastodon.social

Clément Cartier

@Catgolin@mastodon.social

Les Répliques

@LesRepliques@mastodon.social