v0.0.1

[0xGeorgii]

What's Changed

• ✨ 📝 Generate WASM Theorems by @yoshihiro503 in ✨ 📝 Generate WASM Theorems #181
• Switch to stable channel by @0xGeorgii in Switch to stable channel #194
• Assert codegen by @0xGeorgii in Assert codegen #196
• Propagate spec to v by @0xGeorgii in Propagate spec to v #197

New Contributors

• @yoshihiro503 made their first contribution in ✨ 📝 Generate WASM Theorems #181

Full Changelog: v0.0.1-gamma.3...v0.0.1

---

This discussion was created from the release v0.0.1.