search

math-comp / mcb

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

5.4 (notational aspects...) is out of place and has dangling refs #74

Open gares opened 5 years ago

gares commented 5 years ago

does not fit well ch5, Posz is out of the scope of the book, still some room for notational aspects of specs. We should talk about that later once we have 6.10 at hand and try to give some guiding principles to understand/craft notations in MC

gares commented 5 years ago

posz removed