Skip to content

Fix typos

Yusuke Matsushita requested to merge (removed):patch/typo into master

Fix a few typos in TeX, MarkDown and Coq files.

Merge request reports