Skip to main content
Proof Assistants Meta
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand
Moderator
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
5,530
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Post-doc in computer science, in the great world of proof assistants.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
26
What are the differences between MLTT and CIC?
19
Does the canonicity of natural number imply that of all types?
18
What are the complex induction patterns supported by Agda?
13
In what intensional type theories can absurdity be made definitionally proof irrelevant?
12
Why are impredicative constructions used less in type theory than in material set theory?