Zulip Chat Archive
Stream: general
Topic: basic typeclasses
Kenny Lau (Jul 12 2020 at 19:54):
Is there a list of basic typeclasses in Lean (mathlib)?
Patrick Massot (Jul 12 2020 at 19:56):
Maybe look at https://github.com/leanprover-community/mathlib/pull/3307?
Last updated: Aug 03 2023 at 10:10 UTC