« first day (114 days earlier)      last day (1017 days later) » 

Martin Sleziak
Martin Sleziak
14:43
I will just point out that the tag-info for proof-assistants on MO now contains a link to this site. mathoverflow.net/posts/157401/revisions mathoverflow.net/posts/157402/revisions
I think that maybe something similar could be worth adding to the tags automatic-theorem-proving and theorem-provers on Mathematics.
Maybe also coq and lean on ]so].

« first day (114 days earlier)      last day (1017 days later) »