Eyeprolog: Turning Prolog programs into answers and inspectable proofsgithub.com4 points·simonpure··0 commentsOpen articleSaveView on HN