树炎’s Reviews > Type Theory and Formal Proof: An Introduction > Status Update

树炎 is finished

Finish 5 chapters of this book

— Feb 12, 2022 12:09AM

Type Theory and Formal Proof: An Introduction

Like flag

Post a comment »
Comments

No comments have been added yet.

post a comment »

All of 树炎’s status updates
Everyone’s updates from this book