The Proof Form: When a Theorem Is Just Another Port

Comments

Nothing yet. Say the first thing.

Sign in to join the conversation.