Eyeprolog: Turning Prolog programs into answers and inspectable proofs

 (github.com)

4 points | by simonpure a day ago ago

No comments yet.