Leanstral 1.5: Proof Abundance for All