Proof Assistants Beta
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
304
reputation
651
reached
1
answer
2
questions
Communities
View all
About

Assistant Professor in Computer Science & Engineering at University of Michigan. Research on programming language design and semantics.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
1
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
10
How "generic" are "generic proof assistants"?
Mar 14
question
8
When is hProp equivalent to the subobject classifier?
Oct 6, 2022
answer
1
Is there a formalism of "coinductive" data types with negative occurrences?
Apr 23
Top network posts
View all network posts
17
Using Dependent Type Theory for Categories that are not LCCC
15
Logical Reations for an Impredicative System in a Predicative MetaTheory
12
Implementing "Internal" Languages
12
Why Reflexive Graphs for Parametricity?
10
Profunctorial Grothendieck Construction?

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.