Skip to main content
Proof Assistants Beta
Pedro Sánchez Terraf's user avatar
Pedro Sánchez Terraf's user avatar
Pedro Sánchez Terraf's user avatar
Pedro Sánchez Terraf
  • Member for 2 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
1,013
reputation
3k
reached
16
answers
1
question
Communities
View all
About

Mathematician at the Universidad Nacional de Córdoba.

My research interests:

  • Set Theory [Formal verification of forcing].
  • Applications of Descriptive Set Theory to Computer Science.
  • Universal Algebra, Varieties, Definability.

My most colorful answer so far.

http://xkcd.com/810/

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
18
bronze badges
Top tags
View all tags
36
Score
12
Posts
71
Posts %
13
Score
2
Posts
12
Posts %
12
Score
3
Posts
18
Posts %
11
Score
1
Posts
6
Posts %
10
Score
1
Posts
6
Posts %
10
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
question
13
Attempts to accommodate theories of different consistency strength in single assistant
Feb 12, 2022
answer
11
Proof assistants for forward reasoning?
Feb 11, 2022
answer
10
What are good books for learning about proof assistants for Functional Analysis?
Feb 10, 2022
answer
8
Tracing the classical reasoner in Isabelle
May 17, 2022
answer
6
Why is Isabelle usually not just Isabelle but Isabelle/<xyz>?
Feb 17, 2022
answer
5
Is there a way to convert free variables to (meta) universally quantified variables in Isabelle?
Feb 15, 2022
answer
4
Are Logics Based on Dependent Types Stronger Than Ones Without?
Feb 24, 2022
answer
4
How to rename a type class operator in a subclass in Isabelle/HOL?
Feb 14, 2022
answer
3
For formal proofs of graph structures and algorithms, which proof assistant should I learn?
Mar 16
answer
2
ROOT file for building a heap image in Isabelle
Feb 15
Top network posts
View all network posts
38
What is a Dynkin system? ($\lambda$-system)
15
Proving the existence of a proof without actually giving a proof
14
Representation theorem for modular lattices?
13
Can you define a probability measure on the set of countable transitive models of ZFC?
11
Which is the more popular approach to forcing in the literature?