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
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
Reliability Quiz
1265
CBO 2013
11612
Q1M1L123 PR2
126235
Discover Your Learning Style
16836
DBDA
7457
HIFIS 4 Sample Data Exercise
1050
PR 1 NOTE QUIZ
261346
What are the basics of analysing a corpus?
5236
LESSON 1_Formative Assessment
105173