Hacker News new | ask | show | jobs
by cubefox 388 days ago
Yes. See the "Comparison with sequent calculus" section.