Skip to main content
Khan's user avatar
Khan's user avatar
Khan's user avatar
Khan
  • Member for 13 years, 8 months
  • Last seen more than a month ago
  • Venice Italy
Profile Activity

Stats

303
reputation
24k
reached
0
answers
27
questions
Communities

About

I am a PhD student (first year) in the University of Venice, Italy.

Badges

View all badges
This user doesn’t have any gold badges yet.
3
silver badges
18
bronze badges

Top tags

View all tags
0
Score
18
Posts
67
Posts %
0
Score
7
Posts
26
Posts %
0
Score
4
Posts
15
Posts %
0
Score
4
Posts
15
Posts %
0
Score
3
Posts
11
Posts %
0
Score
3
Posts
11
Posts %

Top posts

View all questions, answers, and articles
question
6
Locating definition of a tactic in Coq proofs
Nov 29, 2012
question
3
Coq - induction on lists with a function applied to each element
Dec 18, 2013
question
2
Equiv string maps (unordered type) to equal string
May 7, 2013
question
2
Coq - fold and maps on record types
Apr 30, 2013
question
2
Executing large Coq project with many files
Nov 9, 2012
question
1
Closing a lemma on list of nats
Jan 15, 2020
question
1
Reading system() command error response message
May 15, 2018
question
1
Coq: defining more than two mutually recursive functions on inductive type
Sep 7, 2016
question
1
Passing messages to content script from background
Sep 21, 2013
question
1
Content scripts with 'run_at' set to 'document_end' but it modifies DOM after page is once loaded
Sep 19, 2013