coq-ordinal Versions (6)

Version Release Date Links
0.5.5 25 Mar 2025 Documentation
0.5.4 18 Dec 2024 Documentation
0.5.3 13 Oct 2023 Documentation
0.5.2 28 Mar 2022 Documentation
0.5.1 30 Dec 2021 Documentation
0.5.0 15 Jun 2021 Documentation