Skip to main content
Akhil's user avatar
Akhil's user avatar
Akhil's user avatar
Akhil
  • Member for 6 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
21
reputation
2k
reached
2
answers
2
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
9
bronze badges
Top tags
View all tags
2
Score
2
Posts
50
Posts %
2
Score
2
Posts
50
Posts %
2
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
question
11
Non-empty list append theorem in Coq
Nov 20, 2018
question
3
How to optimize IP Address search query
Jul 12, 2022
answer
2
How to optimize IP Address search query
Jul 28, 2022
answer
0
No implicits found for parameter ev: Any <:< (T_, U_)
Jul 12, 2022