What is the focus of the book?
MarisaKirisame opened this issue · 1 comments
MarisaKirisame commented
Will it be talking about dependent type, or will it be leaning toward Hoare Logic/Separation Logic?
Will it assume prior Coq knowledge or start from scratch like momst others Coq book?
achlipala commented
The book is not about dependent types. See the outline of topics on the course web site.
No prior Coq knowledge is assumed