Make formal verification and provably correct software practical and mainstream

#110 · 🔥 203 · 💬 186 · one year ago · github.com · peanutcrisis · 📷
Make formal verification and provably correct software practical and mainstream



Send Feedback | WebAssembly Version (beta)