Proof Assistants Beta
Felipe's user avatar
Felipe's user avatar
Felipe's user avatar
Felipe
  • Member for 3 months
  • Last seen more than a week ago
Profile Activity
Stats
33
reputation
203
reached
1
answer
3
questions
Communities
About

PhD student at Institut Polytechnique de Paris

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
4
Posts
100
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
2
Rewriting with heterogeneous equality (JMeq)
Apr 21
question
1
How to reason about equality between different datatypes?
Mar 20
question
0
Reasoning about non reflexive equalities & type conversions
May 3
answer
0
stuck trying to prove sublist of list
Apr 21

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.