Eyeprolog: Turning Prolog programs into answers and inspectable proofs

(github.com)

4 points | by simonpure 12 hours ago ago

No comments yet.