
پروژه Talos اجرای برنامههای WebAssembly را به قضایای ریاضی تبدیل کرد
تالوس یک مفسر جدید برای WebAssembly است که با استفاده از زبان Lean 4، اجرای کد را با اثبات ریاضی ادغام میکند. این ابزار به توسعهدهندگان اجازه میدهد صحت برنامهها را در همان کدِ…










