Inspired the README file of the Coqpilot project, I have added a GIF file to the PSL repository.

While the GIF file is somewhat heavy, it effectively illustrates the functionality of the Abduction Prover clearly. 🤓

For more information:
https://github.com/data61/PSL