Mistral / leanstral
labs-leanstral-1-5-1
An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
按用量试算费用 · 对比 2–4 个渠道 → 反馈模型资料问题
选择币种后可按价格排序；不同币种不直接比较。
暂无公开报价
未填写的价格和监测数据不会用零值代替。