Proof Theory and Logic Programminglix.polytechnique.fr11 points·remywang··0 commentsOpen articleSaveView on HN