Proof Assistants Beta
L. F.'s user avatar
L. F.'s user avatar
L. F.'s user avatar
L. F.
  • Member for 1 year, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
213
reputation
369
reached
0
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
11
Proving uniqueness of an instance of an indexed inductive type
Apr 9, 2022
Top network posts
View all network posts
107
Modern way to filter STL container?
65
How to use source_location in a variadic template function?
55
Can I take the address of a function defined in standard library?
46
Can I take the address of a function defined in standard library?
37
Links to webpages in books

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.