Skip to content
@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@jordanpunzalann
jordanpunzalann
design + engineer

sydney, aus

@Vectorized
Vectorized Vectorized
Let's accelerate the code.
@wenakita
Akita V2 wenakita
On't

Maia, Greece B.C. (Before Cronje)

@neverDefined
Never_Defined neverDefined
Backend Engineer

internet internet

@dinadeljanin
dinadeljanin
for legal reasons, i am not the devil.

@wen-llama