About

ESBMC-AI is developed by Yiannis Charalambous.

Acknowledgements

The S3 team and by extension ESBMC-AI, is sponsored by Zulip. Zulip is an organized team chat app designed for efficient communication.

Zulip SVG

  • Website is using the Hextra Hugo template.
  • Website is using the Heroicons icon set.