Eyeprolog: Turning Prolog programs into answers and inspectable proofs

(github.com)

3 points | by simonpure 6 hours ago ago