Proof Assistants Beta
Gergely's user avatar
Gergely's user avatar
Gergely's user avatar
Gergely
  • Member for 1 year, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
267
reputation
545
reached
1
answer
8
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
1
Score
6
Posts
67
Posts %
1
Score
4
Posts
44
Posts %
1
Score
2
Posts
22
Posts %
1
Score
2
Posts
22
Posts %
1
Score
2
Posts
22
Posts %
0
Score
3
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
7
Tracing the classical reasoner in Isabelle
May 17, 2022
question
3
Picking this and calculation in Isabelle/JEdit output
Mar 20
question
2
Algebraic manipulation: what is the best tool?
Aug 18
answer
1
Type class constaint is ignored in type synonym definition
Aug 3
question
1
Discharging an assumption in Isar
Jul 27
question
1
Type class constaint is ignored in type synonym definition
Aug 3
question
1
How to write a low-level proof in Isar?
Mar 16
question
0
Simple and proper methods in Isar
Apr 12
question
0
Correcting formally verified results
Jul 16
Top network posts
View all network posts
452
How do I exit Vim?
32
What has caused the recent 25% unemployment rate in Spain?
27
why measure theory for probability?
20
Giving honey to a bear?
19
Why do they use bind in Haskell over Kleisli composition?

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.