🖼️3090Read later0Read MoreLeanstral 1.5 - Mistral AIHacker News·5 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.15s