۱ مطلب با این برچسب
ابزار Lasm به توسعه‌دهندگان اجازه می‌دهد برنامه‌های نوشته شده با زبان Lean 4 را به WebAssembly کامپایل کرده و در Node.js، مرورگر و محیط‌های سرورلس یا Edge اجرا کنند. این پروژه امکان پیاده‌سازی نرم‌افزارهای وب با قابلیت اثبات ریاضی صحت عملکرد را از فرانت‌اند تا بک‌اند فراهم می‌سازد.
