keep_learning's user avatar
keep_learning's user avatar
keep_learning's user avatar
keep_learning
  • Member for 2 years, 2 months
  • Last seen more than a month ago
Stats
258
reputation
906
reached
2
answers
1
question
Loading…
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
4
Score
2
Posts
67
Posts %
2
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
https://proofassistants.stackexchange.com/users/577/keep-learning
proofassistants.stackexchange.com
CC-MAIN-2024-18
109227
application/http; msgtype=response
sha1:WDO46LQDFJVOF3RWF2WEGTS6Y7SZJJYF
<urn:uuid:fb898ccc-3eaa-4fac-97ce-85adac3ceeaa>
2024-04-19T09:52:21Z
104.18.43.226
text/html
sha1:RF36CLBPEKVJEDZUP5OCAAUBXW45CKWY
<urn:uuid:61249ec7-ef1d-4fbf-8ab4-339318f187a9>
https://proofassistants.stackexchange.com/users/577/keep-learning
response
<urn:uuid:b0c63e1b-e073-46f6-96c8-1f8285e10d9a>
isPartOf: CC-MAIN-2024-18
publisher: Common Crawl
description: Wide crawl of the web for April 2024
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-230
software: Apache Nutch 1.19 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.5-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: https://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/