from Hacker News

Simplicity of the Gentzen System

by simplegeek on 1/26/25, 6:53 PM with 0 comments