Eyeprolog: Turning Prolog programs into answers and inspectable proofs

(github.com)

4 points | by simonpure a day ago ago

No comments yet.