Typos in "QED at Large" paper

[ligurio]

There are a number of typos : "QED at Large: A Survey of Engineering of Formally Verified Software" (version 13 Mar 2020):

p. 119 comparitive -> comparative
p. 130 targetted -> targeted
p. 138 intepret -> interpret
p. 168 similary -> similarly
p. 171 ommitted -> omitted
p. 172 heterogenous -> heterogeneous
p. 177 desigining -> designing
p. 191 decribes -> describes
p. 193 intepretation -> interpretation
p. 211 decribes -> describes
p. 222 assisants -> assistants