search

math-comp / mcb

Mathematical Components (the Book)
Other
140 stars 25 forks source link

remove exercises #75

Closed gares closed 5 years ago

gares commented 5 years ago

move them to a companion teaching material

siraben commented 3 years ago

Where can I find that companion material?

gares commented 3 years ago

in the end, it was never released. But some code of the exercises in the coq/ folder (you can play it online from the book site). You can also look here:

siraben commented 3 years ago

Thanks, I'm using this book to learn as well so those exercises are helpful. I think it would be good to have some exercises in the book so the reader can check their understanding.

gares commented 3 years ago

We had them, they are probably still there commented out. We run out of energy, they still needed polishing and some chapters just had no exercises, so we removed them.

We would be happier to have them back, but as I said, some work is needed.