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
14711
Which type of Data Scientist are you?
9424
Raise the Bar!
5220
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
Geometric Shape calculator Din Deljkovic
1050
Reading Quiz
3227
Identifying Poorly Worded Survey Questions
9420
S&DS 2022 Wrapped
6322
Reliability Quiz
1266
Explore the Ranges
8419
Joe university aplication
5216
CBO 2013
11612