Skip to main content
Proof Assistants Meta
Charlie Parker's user avatar
Charlie Parker's user avatar
Charlie Parker's user avatar
Charlie Parker
  • Member for 2 years, 3 months
  • Last seen more than 2 years ago
Profile Activity
Stats
333
reputation
62
reached
0
answers
1
question
Communities
View all
About

CS and Maths are awesome!

Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts
4
Engineerings questions on internal details of Proof Assistant implementations, usage and modifications?
Jul 8, 2022
Top network posts
View all network posts
545
When does the init() function run?
130
How do you get a Golang program to print the line number of the error it just called?
108
Is there no XOR operator for booleans in golang?
92
Different ways to pass channels as arguments in function
91
How to test a unexported (private) function in go (golang)?