Skip to main content
Cs_J's user avatar
Cs_J's user avatar
Cs_J's user avatar
Cs_J
  • Member for 2 years, 11 months
  • Last seen this week
Profile Activity
Stats
91
reputation
3k
reached
0
answers
10
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
View all tags
0
Score
7
Posts
70
Posts %
0
Score
2
Posts
20
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %
Top posts
2
Is there a lightweight way to define a mutable dictionary that can return all of its keys in Coq?
Jun 8, 2024
2
Can Prolog-like unification be expressed in a point free way?
May 16, 2023
2
Trying to upgrade pip in a virtual environment but getting "Access is denied" [duplicate]
May 20, 2022
1
Idiomatic way to translate Scheme set-car! and set-cdr! into OCaml?
May 1
1
Coq notation defined inside a module expecting type without module prefix
Jun 3, 2024
0
Turn `P(?x)` into `exists x,P(x)` to give different instantiations for different subgoals in Coq
Aug 25, 2024
0
Lightweight ways to prove an assembly language steps from a certain state to another state after variable number of instructions in Coq
Jul 17, 2024
0
Coq repeating "destruct" for disjunctive hypothesis causing unwanted destruction in the end
Jun 25, 2024
0
Coq dictionary implementations supporting custom key domain that are easy to prove equivalence?
Jun 21, 2024
0
Defining mutually recursive types in Coq?
May 15, 2024