Proof Assistants Beta
lyfeng's user avatar
lyfeng's user avatar
lyfeng's user avatar
lyfeng
  • Member for 1 year, 3 months
  • Last seen more than 1 year ago
Profile Activity
Stats
157
reputation
345
reached
0
answers
3
questions
Communities
View all
About

This guy likes software and programming languages.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
0
Score
3
Posts
100
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
6
How to set defaults for implicit arguments when they can't be inferred?
Mar 10, 2022
question
5
How to provide a countType when using mathcomp?
Apr 13, 2022
question
4
How can I prove has_esp when using mathcomp.analysis?
Apr 14, 2022
Top network posts
View all network posts
5
Security implications of the key padding in HMAC

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.