Induction naming convention

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

54 stars 123 forks source link

Closed edegeltje closed 3 weeks ago

edegeltje commented 2 months ago

This PR adds a naming convention for induction/recursion principles. see also the zulip topic