Hydras & Co. 0.5

Release highlights

• Inclusion of Ackermann sub-library originating from Goedel (@Casteran and @palmskog, #20, #21).
• New gaia-hydras package bridging the ordinals in the Gaia library and the Hydra-battles library (@Casteran and @palmskog, #56).
• Snippets included in the book are now automatically extracted from the code with the help of Alectryon 1.4 and a custom driver (@Casteran, @cpitclaudel and @start974, #44, #47, #48, #57, #66, #67, #71, #73, #78, #84, #97).
• Introduction of Docker-Coq-Action and Coq Nix Toolbox-based Continuous Integration. Documentation is automatically generated in a CI / CD pipeline and uploaded to the coq-community website (@palmskog, @start974 and @Zimmi48, #2, #6, #11, #22, #40, #41, #42, #58, #62, #63, #68, #69, #75).
• Warning-free compilation with Coq 8.13 and 8.14. Drop compatibility with Coq 8.11 and 8.12 (#16, #18, #37, #52, #89, #97).
• Addition and refactoring of type classes Comparable, TotalPreOrder, Decision (@Casteran, @palmskog, @start974, @Zimmi48, #39, #43, #76, #79).
• Switch license to MIT (#4).