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, 8 months
  • Last seen more than 2 years ago
Profile Activity
Stats
383
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
question
4
Engineerings questions on internal details of Proof Assistant implementations, usage and modifications?
Jul 8, 2022
Top network posts
View all network posts
558
When does the init() function run?
131
How do you get a Golang program to print the line number of the error it just called?
110
Is there no XOR operator for booleans in golang?
94
What does the --ntasks or -n tasks does in SLURM?
93
How to test a unexported (private) function in go (golang)?