Mathlib quiz
Mathlib Mastery Quiz
Test your knowledge of mathlib with our engaging quiz! Delve into the intriguing world of mathematics and discover how well you understand this vast library of definitions, theorems, and lemmas.
In this quiz, you will explore:
- File counts in mathlib
- Number of definitions and theorems
- Dependency paths and their significance
Roughly how many files are there in mathlib?
50
100
250
About 500
1000
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
{"name":"Mathlib quiz", "url":"https://www.quiz-maker.com/QPREVIEW","txt":"Test your knowledge of mathlib with our engaging quiz! Delve into the intriguing world of mathematics and discover how well you understand this vast library of definitions, theorems, and lemmas.In this quiz, you will explore:File counts in mathlibNumber of definitions and theoremsDependency paths and their significance","img":"https:/images/course3.png"}
More Quizzes
Research Process and Resources Survey
14712
Which type of Data Scientist are you?
9425
Raise the Bar!
5221
Judging Online Info
If you use this quiz and get a score of 5/5, your website is a good one to use for research.
If you do not get 5/5 on this quiz, you may want to choose a different website for research.
520
The Medium is the Message
4225
Reliability Quiz
1266
Geometric Shape calculator Din Deljkovic
1050
Joe university aplication
5216
Reading Quiz
3228
Explore the Ranges
8419
CBO 2013
11612
Q1M1L123 PR2
126248