Area 51 » pigworker

info activity reputation

reputation

69 views

network profile

Registered User

name	pigworker
member for	2 years
seen	Dec 31 '21 at 3:18
website	strictlypositive.org
location	Glasgow

I'm a lecturer at the University of Strathclyde.

stats accounts

0

Proposals

0

Current Commitments

0

Fulfilled Commitments

0

Followed

1

Example Question

Proof Assistants: Why, after all these years, is append not obviously associative?

2

Votes Cast

2 up

0 down

5

Badges

● Nice Question
● Pioneer

● Centrist
● Advocate

● Autobiographer

user feed