Hacker News new | ask | show | jobs
Proof Theory and Logic Programming (lix.polytechnique.fr)
11 points by remywang 83 days ago