Verified QBF Solving. - Axel Bergström; Tjark Weber (Arch. Formal Proofs, 2024)