Proof Assistants Beta
Daniel Donnelly's user avatar
Daniel Donnelly's user avatar
Daniel Donnelly's user avatar
Daniel Donnelly
  • Member for 1 year, 9 months
  • Last seen this week
Profile Activity

22 Tags

Score Name
2
Score
3
posts
2
Score
1
post
0
Score
5
posts
0
Score
3
posts
0
Score
2
posts
0
Score
2
posts
0
Score
2
posts
0
Score
2
posts
0
Score
2
posts
0
Score
2
posts
0
Score
2
posts
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.