code-golf math asked Oct 21, 2016 at 23:02

facebook asked Feb 25, 2019 at 7:49

lean lean-mathlib lean3 type-class asked Feb 9, 2022 at 19:15

magic-the-gathering asked Mar 2, 2017 at 7:06

lean lean3 asked Apr 15, 2022 at 22:15

lean tactic asked Feb 14, 2022 at 20:19

lean asked Feb 26, 2022 at 1:35

elementary-number-theory asked Jul 23, 2017 at 20:27

backgammon asked Jul 7, 2017 at 21:33

reference-request big-o-notation asked Jun 24, 2020 at 21:06