Proof Assistants Beta
Ende Jin's user avatar
Ende Jin's user avatar
Ende Jin's user avatar
Ende Jin
  • Member for 1 year, 9 months
  • Last seen this week
Profile Activity
Stats
429
reputation
712
reached
0
answers
3
questions
Communities
View all
About

Graduate Student @ UWaterloo

Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
18
What are the motivations for different variants of categorical models of dependent type?
Mar 18, 2022
question
7
Why Coq's `Include` is designed to instantiate functor with current interactive defining module?
Apr 11, 2022
question
6
Does Coq's Module and Functor type-check incrementally?
Mar 29, 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.