Proof Theory and Logic Programming(lix.polytechnique.fr)11 points·by remywang·4 months ago·0 commentslix.polytechnique.frProof Theory and Logic Programminghttps://www.lix.polytechnique.fr/Labo/Dale.Miller/ptlp/0 commentsPost comment—