mathlib3
1aff3aff - feat(interactive_expr): bigger accomplishment (#3359)

Commit

5 years ago

feat(interactive_expr): bigger accomplishment (#3359) Lean is difficult, we need more incentives.

Author

PatrickMassot

Parents