Proof Assistants Beta
Indprinciple's user avatar
Indprinciple's user avatar
Indprinciple's user avatar
Indprinciple
  • Member for 1 year, 4 months
  • Last seen more than 1 year ago
Profile Activity
Stats
90
reputation
244
reached
1
answer
2
questions
Communities
About

I'm a student. I'm interested in automated/interactive theorem proving.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
1
Score
3
Posts
100
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Unexpected eta expansion in constant definition
Aug 2, 2022
question
1
Non-dependent implicit argument instantiation in Coq's reference manual does not work
Aug 4, 2022
answer
1
A problem similar to intermediate value problem
Aug 3, 2022

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.