Skip to main content
Proof Assistants Beta
Robin Green's user avatar
Robin Green's user avatar
Robin Green's user avatar
Robin Green
  • Member for 1 year, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
161
reputation
290
reached
1
answer
1
question
Communities
View all
About

Java and Scala developer. In a previous life I was a Haskell developer and a computer science research assistant.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
3
Score
2
Posts
100
Posts %
3
Score
2
Posts
100
Posts %
3
Score
2
Posts
100
Posts %
Top posts
question
3
Determining why my proof depends on the axiom of choice
Feb 18
answer
3
Determining why my proof depends on the axiom of choice
Feb 18
Top network posts
View all network posts
213
What does 'set -e' mean in a Bash script?
140
Could not open a connection to your authentication agent
112
git blame with commit details in emacs
109
How to remove a newline from a string in Bash
88
Recursion schemes for dummies?