Proof Assistants Beta
Loïc's user avatar
Loïc's user avatar
Loïc's user avatar
Loïc
  • Member for 1 year, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
1,359
reputation
7k
reached
6
answers
0
questions
Communities
About

My name is Loïc Pujet, I am a PhD student in the Inria team Gallinette.

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