Eyeprolog: Turning Prolog programs into answers and inspectable proofs

3 pointsposted 7 hours ago
by simonpure
(github.com)

No comments yet