Leanstral 1.5: Proof Abundance for All | Dark Hacker News