Skip to main content
Ana Borges's user avatar
Ana Borges's user avatar
Ana Borges's user avatar
Ana Borges
  • Member for 11 years, 3 months
  • Last seen this week
Profile Activity
Stats
1,378
reputation
8k
reached
44
answers
3
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
13
bronze badges
Top tags
View all tags
81
Score
46
Posts
98
Posts %
25
Score
10
Posts
21
Posts %
7
Score
5
Posts
11
Posts %
6
Score
3
Posts
6
Posts %
6
Score
2
Posts
4
Posts %
6
Score
2
Posts
4
Posts %
Top posts
View all questions, answers, and articles
6
Coq seemingly refuses to recognize a simple substitution of a propositional formula for a propositional variable?
Nov 13, 2021
6
Difference between parameters and members of a class
Nov 25, 2021
5
Use results proven in a library (Coq)
May 19, 2017
4
Coq: Is it possible to prove that, if two records are different, then one of their fields is different?
Oct 10, 2017
4
Why S n' =? S n' simplifies to n' =? n' in Coq?
Jul 22, 2022
4
ssreflect inversion, I need two equations instead of one
Sep 16, 2021
4
"False" in goal: is that a an indication I am doing something wrong?
Feb 18, 2022
3
How to use symmetricity of an equality on Coq
Jun 21, 2021
3
Annotating Coq proofs
Sep 6, 2021
3
Error: Cannot interpret this number as a value of type nat
Sep 20, 2021
Top network posts
View all network posts
8
Has anyone accidentally "proven" a false theorem using what was later found to be a critical bug?
8
How do I turn off the aggressive auto-indent in Proof General/Coq
6
Building non-classical logics in Agda & Coq
6
Naming conventions (letter case, underscores, &c) for Coq
6
Axiomization of Peano arithmetic in constructive first-order logic