As of May 31, 2023, we have updated our Code of Conduct.
Proof Assistants Beta
Valery Isaev's user avatar
Valery Isaev's user avatar
Valery Isaev's user avatar
Valery Isaev
  • Member for 1 year, 3 months
  • Last seen more than a month ago
  • Saint Petersburg, Russia
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
47
In what respect are univalent foundations "better" than set theory?
22
In constructive mathematics, why does the category of abelian groups fail to be abelian?
16
Locales in constructive mathematics
15
Constructive proof of existence of free algebras for infinitary equational theories
13
Algebraic closure of a field in constructive mathematics

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.