Skip to content
GitLab
Explore
Sign in
You need to sign in or sign up before continuing.
The source project of this merge request has been removed.
Fix typos
Expand sidebar
Fix typos
Yusuke Matsushita
requested to merge
(removed):patch/typo
into
master
Oct 29, 2020
Overview
1
Pipelines
0
Changes
3
Fix a few typos in MarkDown and Coq files.
Merge request reports
Loading