Rationalize theorem names
Open
- Dominant language
- Lean
- Stars
- 108
- Forks
- 32
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 155
Description
We now have lemmas that are more than 100 characters long (without namespace)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.