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 https://image.nostr.build/2c05845a13e303c0893c9464693d96b1855cdab64fbeb68c09a1a6de4af7b5c0.gif