🖼️309309Leanstral 1.5 - Mistral AIHacker News·Leanstral 1.5 - Mistral AI·3 months ago#ioqGBV88#docs#autoformalization#photo#englishlanguage🧰Tag tools✨Add tagAn updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.15s0Read later0Read More