Embed this badge

Paste this into your site. It always reflects what HEY can currently verify.

<iframe src="/badge/lean-prover-by-virtuals" width="360" height="150" style="border:0"></iframe>