Leanstral 1.5: Proof Abundance for Allmistral.ai
79 points by programLyrique 3 hours ago | 18 comments