coq-wasm Versions (8)

Version Release Date Links
2.2.1 20 Oct 2026 Documentation
2.2.0 25 Aug 2025 Documentation
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