instances for vs instances mentioning - Githubissues

leanprover / doc-gen4

Document Generator for Lean 4

Apache License 2.0

62 stars 41 forks source link

instances for vs instances mentioning #158

Closed hargoniX closed 10 months ago

hargoniX commented 10 months ago

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Print.20all.20instances.20on.20a.20type/near/400303054