Hollow Capital
Anatomy of a formal proof
info
paper
proof-theory
,
theoretical-computer-science
,
formal-verification
affine
January 27, 2025, 2:19pm
1