Skip to main content
Proof Assistants Beta
Loïc Pujet's user avatar
Loïc Pujet's user avatar
Loïc Pujet's user avatar
Loïc Pujet
  • Member for 3 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
1,579
reputation
10k
reached
6
answers
0
questions
Communities
About

My name is Loïc Pujet, I am a postdoc in Stockholm University.

Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
16
bronze badges
Top tags
View all tags
42
Score
1
Posts
17
Posts %
41
Score
2
Posts
33
Posts %
29
Score
1
Posts
17
Posts %
29
Score
1
Posts
17
Posts %
29
Score
1
Posts
17
Posts %
29
Score
1
Posts
17
Posts %
Top posts
answer
42
Has anyone ever accidentally "proven" a false theorem with type-in-type?
Mar 31, 2022
answer
29
Proof-theoretic comparison table?
Mar 30, 2022
answer
26
Is there a way to automatically translate proofs from one proof assistant to another?
Feb 9, 2022
answer
22
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
Feb 9, 2022
answer
12
Calculus of (inductive) Constructions: Do inductive definitions increase proof strength?
May 11, 2022
answer
11
What are the possible kinds of type theories or logics with quotients?
Feb 14, 2022