Skip to main content
Computer Science
user3128's user avatar
user3128's user avatar
user3128's user avatar
user3128
  • Member for 2 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
98
reputation
301
reached
1
answer
2
questions
Communities
View all
About

Professional user of formal methods, model-checking and interactive theorem proving.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
View all tags
3
Score
2
Posts
67
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
3
Efficient intersection of equivalence classes
Jan 16, 2022
answer
3
Stalmarck's method: x ≡ x → z, does z have to be true?
Jan 16, 2022
question
2
Stålmarck's method, can triplets be dropped once they triggered equivalences
Oct 17, 2023