from Hacker News

The Beautiful Simplicity of the Gentzen System

by simplegeek on 11/1/24, 1:07 PM with 0 comments