coq-ordinal Versions (5)

Version Release Date Links
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