'lean' Questions - SpiceQA

Questions Tags Users Badges

lean

lean

4 Questions

Newest Active Unanswered Frequent

Sublime text build system for Lean

Kind Bubble0

• asked Sep 23, 2022

0

0

31

lean sublimetext3 python

Can I define assumptions in lean?

Dominik Winecki0

• asked Sep 22, 2022

1

1

25

lean

infix notation in Lean

userT1110

• asked Sep 11, 2022

1

1

33

lean

How to do cases on a function between finite types?

acupoftea0

• asked Sep 6, 2022

1

1

35

lean

1 (current)

Hot Questions