feat: Add Book for bibliography#443

SnO2WMaN wants to merge 2 commits intoleanprover:mainleanprover/verso:mainfrom

SnO2WMaN:SnO2WMaN/issue436SnO2WMaN/verso:SnO2WMaN/issue436Copy head branch name to clipboard