Proof Assistants Meta
user9716869 - supports Ukraine's user avatar
user9716869 - supports Ukraine's user avatar
user9716869 - supports Ukraine's user avatar
user9716869 - supports Ukraine
  • Member for 1 year, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
805
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
42
How do I use lemmas that are probably already proven, but including the proof myself is quicker than looking up a source?
17
Bringing OOP features into proof assistants?
12
PDEs and proof assistants
12
Integration of proof assistants and Wikipedia-like websites?
9
Generic proof assistants/modularity of the proof assistants?

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.