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

doc: clarify RFC issues

Browse source
This commit is contained in:
Sebastian Ullrich 2021-06-04 14:12:59 +02:00
parent 06d1d3ae07
commit 10cf219213
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

@ -56,4 +56,4 @@ We expect similar independent checkers will be built for Lean 4.
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.
See also our [contribution guidelines](../CONTRIBUTING.md).