« first day (1861 days earlier)      last day (2266 days later) » 

Martin Sleziak
Martin Sleziak
15:42
@MartinSleziak Glorfindel created both tag-excerpt and tag-wiki for lean-theorem-prover.
I have deleted my two comments related to the tag-info - they are no longer needed. (And they are also archived here in chat.)

« first day (1861 days earlier)      last day (2266 days later) »