Big Books of 2026

Matthew’s Reviews > Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions > Status Update

Matthew
Matthew is on page 130 of 497
— 16 hours, 48 min ago
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

1 like ·  flag

Matthew’s Previous Updates

Matthew
Matthew is on page 100 of 497
— Dec 24, 2025 09:20PM
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)


Post a comment »
Comments

No comments have been added yet.


All of Matthew’s status updates
Everyone’s updates from this book