Houjun Liu

Proof Design Patterns

Based on the wise words of a crab, I will start writing down some Proof Design Patterns I saw over Axler everything.