Skip to main content
Hongyi Lu's user avatar
Hongyi Lu's user avatar
Hongyi Lu's user avatar
Hongyi Lu
  • Member for 2 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
31
reputation
75
reached
1
answer
1
question
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
1
Score
2
Posts
100
Posts %
1
Score
2
Posts
100
Posts %
Top posts
2
How to prove properties of non-linear operators involved in LEB128 algorithm in Dafny?
Dec 3, 2023
1
How to prove properties of non-linear operators involved in LEB128 algorithm in Dafny?
Dec 5, 2023