Proof assistants
Software
Programming language theory
Functional languages
Type theory
Coq
Agda
Theorem
Metamath
Coenzyme Q10
Mathematical proof
Mathematical logic