اثبات قضایای محاسباتی و ریاضیاتی بصورت خودکار و کامپیوتری یکی از دغدغه های ریاضی دانان از ابتدای عصر کامپیوترها بوده است. مقالات زیادی انواع مختلفی ازین ماشین‌های اثبات را توصیف کرده اند.
z3 یکی ازین توصیف‌هاست که حالا توسط بخش تحقیق و توسعه مایکروسافت به خوبی پیاده سازی شده و قابل استفاده است. همچنین بایندینگ‌هایی برای زبان سی، جاوا، oCamel و وب‌اسمبلی برای آن تهیه شده است که راهنمای جامع آن را میتوانید از توضیحات مخزن z3 بیابید.
مطالعه بیشتر
سالهاست که وب‌اسمبلی نُقل بازار برنامه‌نویسان است و در این سالها هم این استاندارد و هم ابزارهای کار با آن پیشرفت‌های زیادی کرده اند.
یکی از مشهورترین ابزارهای اجرای وب‌اسمبلی، ابزاریست به نام wasmer. یک ران‌تایم برای کدهای خروجی وب‌اسمبلی که به سادگی خروجی‌‌های wasm شما را اجرا میکند و استاندارد WASI را به خوبی پشتیبانی میکند. هسته‌ی این ابزار به زبان راست در حال توسعه است.
همچنین این ابزار اکستنشن‌های مختلفی برای زبان‌های برنامه‌نویسی مختلف مشهور ( در این زمان : گولنگ، روبی، پایتون، php و راست) فرآهم آورده است که در آن زبان‌ها با استفاده از آن میتوانید به راحتی کدهایی بنویسید که خروجی wasm از آنها تهیه کنید.
مطالعه بیشتر
