Proof Assistants Beta
Christopher Hughes's user avatar
Christopher Hughes's user avatar
Christopher Hughes's user avatar
Christopher Hughes
  • Member for 1 year, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
266
reputation
2k
reached
4
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
12
Score
2
Posts
50
Posts %
12
Score
2
Posts
50
Posts %
8
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
2
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
8
Well-foundedness: classical equivalence of no infinite descent and accessibility
Mar 17, 2022
answer
4
How important is global choice (a la Lean, HOL Light, Isabelle/HOL) practically?
Sep 23, 2022
answer
2
increasing the universe level of a type in Lean by force
Aug 14
answer
1
are there any standard proof formats?
Jan 28

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.