Hacker news

  • Top
  • New
  • Past
  • Ask
  • Show
  • Jobs

Proof Theory and Logic Programming (https://www.lix.polytechnique.fr)

5 points by remywang about 14 hours ago | 0 comments | View on ycombinator