Leanstral 1.5: Proof abundance for all

 (mistral.ai)

323 points | by programLyrique 19 hours ago

91 comments