With the discussion flaring up again, let me try to copy it to
discourse (using the email address above).
Regarding, what have people been doing to reach mathematicians. Let me
mention a few initiatives:
Moreover, I believe Egbert Rijke has a point:"
- Our communities are simply too small
- Our papers don’t get published unless they’re about new stuff. “The
definition of a scheme in Coq” doesn’t get favorable reviews.
- We do some fashonable maths: higher topos theory, higher group
theory, some big theorems…"