Skip to main content
Proof Assistants Beta
djao's user avatar
djao's user avatar
djao's user avatar
djao
  • Member for 1 year, 4 months
  • Last seen this week
Profile Activity
Stats
589
reputation
7k
reached
15
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
36
Score
15
Posts
100
Posts %
15
Score
3
Posts
20
Posts %
8
Score
4
Posts
27
Posts %
7
Score
1
Posts
7
Posts %
6
Score
3
Posts
20
Posts %
5
Score
2
Posts
13
Posts %
Top posts
View all questions and answers
7
Less ridiculous way to prove that an Ascii character compares equal with itself in Coq
Jun 27
5
Is it possible to make a proof assistant program based on ZFC?
May 14, 2023
5
How to install dependencies correctly? [Cannot find a physical path bound to logical path]
Aug 12, 2023
4
Coq, Merging two forall definitions ranging over the same types
Apr 14
3
How do I enable this kind of rewriting?
Apr 16
3
How to use SSReflect to prove commutativity and associativity of addition idiomatically?
Jun 21
2
Weird use of equality in Coq
May 1, 2023
2
Rewriting/Applying unidirectional morphisms in Coq
Apr 30
1
Bijections on Coq
Jun 1
1
Equivalence Relations COQ
May 16, 2023
Top network posts
View all network posts
37
How to merge 2 PDF files with interleaving pages order?
12
Discrete Gaussian Sampling role in Lattice-Based Crypto?
11
Is the ring of integers of any imaginary quadratic field equal to $\mathrm{End}(E)$ for some $E / \Bbb Q$?
10
What is worst case complexity of number field sieve?
10
Is Geogebra's "non-commercial only GPL3" license valid?