Leanstral 1.5: Proof Abundance for All

· Hacker News