247
reputation
60 views
network profile

Registered User

name pigworker
member for 2 months
seen Dec 31 '21 at 3:18
website
location Glasgow

I'm a lecturer at the University of Strathclyde.

0

Proposals


1

Current Commitment

353
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

0

Fulfilled Commitments


1

Followed

353
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

1

Example Question


2

Votes Cast

2 up

0 down
https://area51.stackexchange.com/users/216742/pigworker
area51.stackexchange.com
crawl=CC-MAIN-2022-05
21029
application/http; msgtype=response
sha1:TZFZ2HWUFYRZZZVEETFYW2BFL6XUUCRX
<urn:uuid:b17600c1-0c24-432e-b0ab-9f9d74a315d3>
2022-01-20T10:47:14Z
151.101.65.69
text/html
sha1:334QUQWVASCIVWVA3PJ6SBD4ENFTYWRL
<urn:uuid:f8555061-289b-448d-90c4-f5251bc5a48e>
https://area51.stackexchange.com/users/216742/pigworker
response
<urn:uuid:44120cf5-3cc1-4a3b-a950-82b62646d0c4>
isPartOf: CC-MAIN-2022-05
publisher: Common Crawl
description: Wide crawl of the web for January 2022
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-174
software: Apache Nutch 1.18 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.3-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/