开源项目Leanstral发布

📂 精选资讯 · 📰 Hacker News

Mistral推出轻量级开源框架Leanstral，专注可信编程环境构建。该工具集成形式化验证和异常检测，适用于金融、医疗等关键领域。项目采用BSL许可证，商业使用需授权。

阅读原文