Roughly, how many definitions are there in mathlib?
100
500
1000
1500
How many lemmas/theorems?
500
1000
2500
4000
8000
Roughly, how long is the longuest dependancy path? (How many times can you "Goto definition" without changing switching to another declaration, but including moving to the proof)
5
10
20
30
40
50
In which maths area is this longest path?
Arithmetic geometry
Analysis
Set theory
Computability
Topology
What are the most used definitions and lemma/theorems (cite at most 5)?
What is the lemma whose statement and proof uses the most other declarations?
How many declarations are used in the lemma whose statement and proof uses the most other declarations?
50
100
200
300
500
What is the most used theorem in mathlib?
How many times is the most useful theorem used in mathlib?
5
10
60
120
290
0
{"name":"Mathlib quiz", "url":"https://www.quiz-maker.com/QTNPVLT","txt":"Roughly how many files are there in mathlib?, Roughly, how many definitions are there in mathlib?, How many lemmas\/theorems?","img":"https://www.quiz-maker.com/3012/images/ogquiz.png"}
