HN

Need help?
<- Back
Leanstral 1.5

Leanstral 1.5

vetronauta

Comments (19)

  • __natty__
    Discussion about Leanstral 1: https://news.ycombinator.com/item?id=47404796
  • doctorpangloss
    Real talk, does anyone use anything from Mistral because it performs the best, by whatever secular metric of your choosing? Or is it only used "because EU"? Just focus on answering the question. I wonder if anyone has observed it perform better on any objective metric in any rigorous setting.
  • esafak
    Is this useful for specifying programs too or only theorems?
  • mertleee
    [dead]