search

UniMath / UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
http://unimath.org/
Other
960 stars 174 forks source link

A UniMath mailing list? #327

Closed benediktahrens closed 8 years ago

benediktahrens commented 8 years ago

Should we have a UniMath mailing list, where people can ask questions concerning installation, contents etc. of UniMath?

DanGrayson commented 8 years ago

... or a google group?

benediktahrens commented 8 years ago

Yes, that's what I was thinking about. The name "UniMath" is already taken - any other suggestions?

benediktahrens commented 8 years ago

I created https://groups.google.com/forum/#!forum/univalent-mathematics and sent you invites.

For the moment, everyone can join without approval, and everybody can send messages to the list. If it turns out that a lot of spam comes through, we will restrict sending to members, and membership will need approval.

andrejbauer commented 8 years ago

Please advertise it on the HoTT mailing list.