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 1 year, 9 months
  • Last seen this week
Profile Activity
Stats
888
reputation
2k
reached
11
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.
3
silver badges
17
bronze badges
Top tags
View all tags
28
Score
7
Posts
58
Posts %
13
Score
2
Posts
17
Posts %
12
Score
3
Posts
25
Posts %
11
Score
1
Posts
8
Posts %
10
Score
1
Posts
8
Posts %
10
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
2
Semantics verification of an LTL fragment logic
Jun 9, 2022
answer
2
How to write a low-level proof in Isar?
Mar 16
Top network posts
View all network posts
37
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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.