Hezzel

This is a list of open source software projects that Hezzel is associated with:

• Combinatory Reduction Systems Extended   Last Updated: 2022-11-16
• WandaHOT a termination analysis tool for higher-order term rewriting systems Last Updated: 2012-09-15
• kira   Last Updated: 2023-04-19