Formalizing mathematics and dependent types

This provider does not allow to add multiple events in one click. Here is the list of the events for you to add individually.