style guide: mention a space between tactic name and arguments - Githubissues

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

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

MIT License

53 stars 123 forks source link

style guide: mention a space between tactic name and arguments #457

Closed grunweg closed 7 months ago

grunweg commented 7 months ago

As discussed on zulip.