Hacker News new | ask | show | jobs
by pirapira 4545 days ago
I wonder which is easier to encode, natural deduction or Hilbert style.