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

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

https://github.com/data61/PSL

#PSL #デモ動画 #AbductionProver