Big Books of 2026

Pleng Chomphoochan’s Reviews > Interactive Theorem Proving and Program Development > Status Update

Pleng Chomphoochan
Pleng Chomphoochan is on page 210 of 497
— Dec 28, 2022 05:03PM
Interactive Theorem Proving and Program Development

flag

Pleng’s Previous Updates

Pleng Chomphoochan
Pleng Chomphoochan is on page 250 of 497
— Dec 29, 2022 12:46AM
Interactive Theorem Proving and Program Development


Pleng Chomphoochan
Pleng Chomphoochan is on page 246 of 497
— Dec 28, 2022 05:02PM
Interactive Theorem Proving and Program Development


Pleng Chomphoochan
Pleng Chomphoochan is on page 103 of 497
— Dec 23, 2022 10:05PM
Interactive Theorem Proving and Program Development


Pleng Chomphoochan
Pleng Chomphoochan is on page 73 of 497
— Dec 23, 2022 02:37PM
Interactive Theorem Proving and Program Development


Post a comment »
Comments Showing 1-1 of 1 (1 new)

dateUp arrow    newest »

message 1: by Pleng (new) - rated it 3 stars
Dec 28, 2022 07:23PM

Pleng Chomphoochan - Read most of chapter 1-12. Most exercises are skipped.
- To re-read / do exercises ch 2,4 (type theory), 7 (ltac), 8 (inductive ex)
Chapter 13-16 are advanced topics I want to read at some point.


back to top

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