Leanstral 1.5: Proof abundance for all · HackerLangs