Skip to main content
Proof Assistants Beta
Ana Borges's user avatar
Ana Borges's user avatar
Ana Borges's user avatar
Ana Borges
  • Member for 2 years, 10 months
  • Last seen this week
Profile Activity
Stats
946
reputation
4k
reached
16
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
11
bronze badges
Top tags
View all tags
55
Score
16
Posts
94
Posts %
10
Score
2
Posts
12
Posts %
9
Score
2
Posts
12
Posts %
8
Score
1
Posts
6
Posts %
6
Score
1
Posts
6
Posts %
6
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
answer
8
How do I turn off the aggressive auto-indent in Proof General/Coq
Feb 17, 2022
question
7
Has anyone accidentally "proven" a false theorem using what was later found to be a critical bug?
Jul 23, 2022
answer
6
Naming conventions (letter case, underscores, &c) for Coq
Mar 16, 2022
answer
6
Axiomization of Peano arithmetic in constructive first-order logic
Jun 2, 2022
answer
5
To what extent is formalized mathematics publishable?
Mar 8, 2022
answer
5
Why does my previously defined function expands/computes to itself?
Jun 1, 2022
answer
4
Code Review: Proving that a simple propositional logic satisfies Aristotle's Thesis
Feb 26, 2022
answer
4
How to fold simplified goal?
Jun 10, 2022
answer
4
How to provide a countType when using mathcomp?
Apr 13, 2022
answer
3
Continue a section (with context) in coq
Oct 31, 2023
Top Meta posts
0
1
4
User Abusing the System for Homework Problem?
Top network posts
View all network posts
6
Coq seemingly refuses to recognize a simple substitution of a propositional formula for a propositional variable?
6
Difference between parameters and members of a class
6
Building non-classical logics in Agda & Coq
5
Use results proven in a library (Coq)
5
Change behaviour of command depending on the presence of a symbol in the input or on the width of the input