Following

Simon Oddershede Gregersen

@[email protected]

M Dell

@[email protected]

GNU Taler

@[email protected]

Johannes Schipp von Branitz

@[email protected]

Thomas Leonard

@[email protected]

Gert Smolka

@[email protected]

Bart Jacobs

@[email protected]

Fredrik Bakke

@[email protected]

Erik Martin-Dorel

@[email protected]

The Rocq Prover

@[email protected]