coq-wasm Versions (6)

Version Release Date Links
2.1.0 30 Jun 2025 Documentation
2.0.3 12 Jun 2025 Documentation
2.0.2 14 Mar 2025 Documentation
2.0.1 20 Oct 2024 Documentation
0.2 24 Jan 2024 Documentation
0.1 24 Oct 2023 Documentation