Stolt over å samarbeide med @kamino og @y2kappa for å formelt verifisere kritiske invarianter for Kamino Lend, og flytte grensene for hvordan sikker DeFi ser ut på Solana