« first day (394 days earlier)      last day (3947 days later) » 

8:18 AM
BTW I think that would be suitable for that question, too.
 
9:16 AM
I've added . This seems to be the closest tag we have to the mathematical writing.
I'd say a better name for that tag would be . Also adding something to the tag-wiki would be good.
I've created short tag-excerpt for , feel free to edit it - there is certainly a lot of space for improvement.
 
 
4 hours later…
1:01 PM
what about the tag: natural deduction ?
 
 
3 hours later…
4:14 PM
@Kasper I am not sure what you mean. Do you suggest creating such tag?
 
5:02 PM
@MartinSleziak yes. oh I see now that I can create such a tag myself
 

« first day (394 days earlier)      last day (3947 days later) »