Coqpilotを参考に、PSLのレポジトリにもデモGIFを追加。

3Mと重いのが玉に瑕だけど、Abduction Proverの動作が一目瞭然になった気がする。

https://github.com/data61/PSL

#PSL #デモ動画 #AbductionProver https://image.nostr.build/2c05845a13e303c0893c9464693d96b1855cdab64fbeb68c09a1a6de4af7b5c0.gif