Skip to main content
Proof Assistants Beta
djao's user avatar
djao's user avatar
djao's user avatar
djao
  • Member for 1 year, 6 months
  • Last seen this week
Profile Activity
Stats
619
reputation
8k
reached
16
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
39
Score
16
Posts
100
Posts %
15
Score
3
Posts
19
Posts %
8
Score
4
Posts
25
Posts %
7
Score
1
Posts
6
Posts %
6
Score
3
Posts
19
Posts %
5
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
answer
7
Less ridiculous way to prove that an Ascii character compares equal with itself in Coq
Jun 27
answer
5
Is it possible to make a proof assistant program based on ZFC?
May 14, 2023
answer
5
How to install dependencies correctly? [Cannot find a physical path bound to logical path]
Aug 12, 2023
answer
4
Coq, Merging two forall definitions ranging over the same types
Apr 14
answer
3
How do I enable this kind of rewriting?
Apr 16
answer
3
Code Review: $\mathbb{Z}[\sqrt{-2}]$ is an integral domain
Jul 6
answer
3
How to use SSReflect to prove commutativity and associativity of addition idiomatically?
Jun 21
answer
2
Weird use of equality in Coq
May 1, 2023
answer
2
Rewriting/Applying unidirectional morphisms in Coq
Apr 30
answer
1
Bijections on Coq
Jun 1
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?