Type design proofs

I’m starting work on a talk about proofs and type design. Does anybody have any feedback about the proofing files in my Github repository? Does anybody have any burning questions or comments about the concept of proofing type in general?

Comments