max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

doc: fix spelling of GitHub in the FAQ (#454)

Browse source
This commit is contained in:
Xavier Noria 2021-05-11 09:15:07 +02:00 • committed by GitHub
parent ad88a1f406
commit d35f46d4ba
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/faq.md
View file

@ -54,6 +54,6 @@ We expect similar independent checkers will be built for Lean 4.
* Should I open a new issue?
We use [github](https://github.com/leanprover/lean4/issues) to track bugs and new features.
We use [GitHub](https://github.com/leanprover/lean4/issues) to track bugs and new features.
Bug reports are always welcome, but nitpicking issues are not (e.g., the error message is confusing).
RFC issues are created by developers only.