Proof Assistants Beta
François G. Dorais's user avatar
François G. Dorais's user avatar
François G. Dorais's user avatar
François G. Dorais
  • Member for 1 year, 10 months
  • Last seen this week
Profile Activity
Stats
571
reputation
4k
reached
10
answers
0
questions
Communities
View all
About

Treasurer for MathOveflow

Department of Mathematics & Statistics, University of Vermont

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
Top tags
View all tags
17
Score
2
Posts
20
Posts %
12
Score
1
Posts
10
Posts %
10
Score
2
Posts
20
Posts %
8
Score
1
Posts
10
Posts %
6
Score
5
Posts
50
Posts %
6
Score
2
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
answer
12
How usable is Lean for constructive mathematics?
Mar 20, 2022
answer
8
Decidability for an infinite sequence of decidable propositions
Mar 12, 2022
answer
5
How to show in type theory (like in a proof assistant) that finite sets of different cardinalities are not isomorphic?
Jul 8, 2022
answer
5
Cardinality of Type in a given universe
Jul 23, 2022
answer
4
How to represent mathematical partial functions in a type-theory based proof assistant?
May 4, 2022
answer
2
Print the version of lean that is running
2 days ago
answer
2
Equality of records with members whose types are dependent (Lean 4)
Sep 22, 2022
answer
1
How to prove the termination of Ackermann in Lean?
May 27
answer
1
Pattern matching from `Prop` to `Type` in Lean
Jun 4
answer
0
How to introduce assumption in lean4
Nov 9
Top Meta posts
1
1
7
Low-quality tags
6
Should we have a Citation Helper?
Top network posts
View all network posts
127
explicit big linearly independent sets
124
Proof that pi is transcendental that doesn't use the infinitude of primes
105
What are some examples of colorful language in serious mathematics papers?
79
What is the high-concept explanation on why real numbers are useful in number theory?
76
Why is compactness in logic called compactness?

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.