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
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
Reliability Quiz
1265
CBO 2013
11612
Q1M1L123 PR2
126238
The Medium is the Message
4224
Discover Your Learning Style
16836
DBDA
7458