[May 2026] mechapuppet v0.5 is released

mechapuppet is a mechanized semantics and verified compiler for a subset of Puppet, a configuration management language.
https://github.com/MechaPuppet/mechapuppet-why3
https://hal.science/hal-05622814