Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

By

By

2014

Ratings1

Average rating3.5

15

No activities were found

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies