More than 305M proofs generated.
More builders. More usage. More momentum.