Closed herbelin closed 4 years ago
Hi, while studying the [platform](https://github.com/coq/platform], I saw a typo in the English spelling of "reasoning" (files descr, opam, README.md, bigenough.v) and I thought you might be interested in having it reported. Best. Hugo
thanks
CohenCyril
commented
4 years ago
Hi, while studying the [platform](https://github.com/coq/platform], I saw a typo in the English spelling of "reasoning" (files descr, opam, README.md, bigenough.v) and I thought you might be interested in having it reported. Best. Hugo