Check out our imandrax-examples repository in GitHub: GitHub - imandra-ai/imandrax-examples: ImandraX examples
It has many examples of verifying interesting systems and proving beautiful theorems in ImandraX.
Please contribute your examples as well!