Archive
TODO: read wilson’s GC connection survey and check out benjamin pierce course on proof theory
