Following

Lean

@[email protected]

Patrick Massot

@[email protected]

Paul-André Melliès

@[email protected]

Andrej Bauer

@[email protected]

Albert Cohen 🏴‍☠️

@[email protected]

Sandrine Blazy

@[email protected]

seL4

@[email protected]

thierrycoquand

@[email protected]

Satnam Singh

@[email protected]

Clément Cartier

@[email protected]

Les Répliques

@[email protected]