GitHub - lukaszcz/coqhammer: CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Workativ - No-code Workflow Automation, App Integration, and Conversational AI Chatbot SaaS for Workplace Support Automation.
![Sustainability | Free Full-Text | Optimization Issues of a Hammer Mill Working Process Using Statistical Modelling Sustainability | Free Full-Text | Optimization Issues of a Hammer Mill Working Process Using Statistical Modelling](https://pub.mdpi-res.com/sustainability/sustainability-13-00973/article_deploy/html/images/sustainability-13-00973-g001.png?1611052114)