Proof Assistants Beta
L. F.'s user avatar
L. F.'s user avatar
L. F.'s user avatar
L. F.
  • Member for 1 year, 6 months
  • Last seen more than a month ago
Profile Activity

Summary

Answers

View all 0 answers
Score Activity Newest

This user has not answered any questions

Tags

View all 4 tags
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post

Reputation

This user has no recent positive reputation changes.

Badges

View all badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges

Accounts

View all 21 accounts
Stack Overflow
  • 19.5k
  • 8
  • 49
  • 82
Code Review
  • 9,436
  • 2
  • 23
  • 65
Mathematics
  • 1,813
  • 1
  • 9
  • 22
TeX - LaTeX
  • 776
  • 5
  • 23
Arqade
  • 575
  • 6
  • 13

Active bounties (0)

View all 0 bounties
Active Offered Earned

This user has no active bounties

Votes cast

View all 3 votes
3
upvotes
1
question vote
2
answer votes

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.