{"name":"Mathlib quiz - Results", "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"}{"name":"Mathlib quiz", "url":"https://www.quiz-maker.com/resultsQTNPVLT","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"}