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