4 ms·I wonder which is easier to encode, natural deduction or Hilbert style.by pirapira 13y agoI wonder which is easier to encode, natural deduction or Hilbert style.