Jupiter Lend je nyní formálně ověřen společností @Certora Pěkné.