Logic

Module	Definitions	Abbreviations	Lemmas	Theorems	Examples	Difficulty
Popper	9	0	4	3	1	—
Propositional	22	2	22	12	0	—

Concept coverage